Verwandte Artikel zu Temporal Logic and State Systems (Texts in Theoretical...

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

Buch 29 von 44: Texts in Theoretical Computer Science. An EATCS

Kröger, Fred; Merz, Stephan

 
9783540674016: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Hardcover
ISBN 10: 3540674012 ISBN 13: 9783540674016
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Fred Kröger: Since 1971 working in Computer Science 1980-1986 Professor for Computer Science at Technical University of Munich Since 1986 Professor for Computer Science at University of Munich 1987 World-wide first textbook on Temporal Logic ("Temporal Logic of Programs", Springer) Stephan Merz: 1992 Ph.D. in Computer Science, University of Munich 1995-2002 Assistant Professor for Computer Science, University of Munich since 2002 Senior Researcher, INRIA Lorraine, Nancy

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540674012
ISBN 13 
9783540674016
Einband
Gebundene Ausgabe
Anzahl der Seiten
448
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland