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

Kröger, Fred; Merz, Stephan

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.

Über diesen Titel

Ü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

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540674012
• ISBN 13: 9783540674016
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 448
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland