Fred Kröger: Temporal Logic and State Systems

Cover: 9783642086809 | Temporal Logic and State Systems | Fred Kröger (u. a.) | Taschenbuch

Rückseite: 9783642086809 | Temporal Logic and State Systems | Fred Kröger (u. a.) | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

72,75 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

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.

Zusammenfassung

Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.

Inhaltsverzeichnis

Basic 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.

Details

Erscheinungsjahr:	2010
Fachbereich:	Programmiersprachen
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Texts in Theoretical Computer Science. An EATCS Series
Inhalt:	xii 436 S. 34 s/w Illustr. 436 p. 34 illus.
ISBN-13:	9783642086809
ISBN-10:	3642086802
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Kröger, Fred Merz, Stephan
Hersteller:	Springer Springer Vieweg Springer-Verlag GmbH Texts in Theoretical Computer Science. An EATCS Series
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 25 mm
Von/Mit:	Fred Kröger (u. a.)
Erscheinungsdatum:	25.11.2010
Gewicht:	0,674 kg