-
Zusatztext
-
InhaltsangabeBasic Concepts and Notions of Logics.- Basic Propositional Linear Temporal Logic.- Extensions of LTL.- Expressiveness of Propositional Linear Temporal Logics.- First-Order Linear Temporal Logic.- State Systems.- Verification of State Systems.- Verification of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification by Model Checking.
-
-
Kurztext
-
Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.Includes supplementary material: sn.pub/extras
-
Detailansicht
Temporal Logic and State Systems
Texts in Theoretical Computer Science. An EATCS Series
ISBN/EAN: 9783642086809
Umbreit-Nr.: 1572529
Sprache:
Englisch
Umfang: xii, 436 S., 34 s/w Illustr., 436 p. 34 illus.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 25.11.2010
Auflage: 1/2008