Items related to Temporal Logic and State Systems

Temporal Logic and State Systems - Softcover

Kröger, Fred; Merz, Stephan

  • 3.80 out of 5 stars
    5 ratings by Goodreads
 
9783540833628: Temporal Logic and State Systems
Softcover
ISBN 10: 3540833625 ISBN 13: 9783540833628
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540833625
ISBN 13 
9783540833628
Binding
Paperback
Number of pages
444
Rating
  • 3.80 out of 5 stars
    5 ratings by Goodreads

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540674016: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Featured Edition

ISBN 10:  3540674012 ISBN 13:  9783540674016
Publisher: Springer, 2008
Hardcover