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
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
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Temporal Logic and State Systems (Texts in Theoretical...
Beispielbild für diese ISBN
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Verlag:
Springer (edition 2008), 2008
ISBN 10: 3540674012
ISBN 13: 9783540674016
Gebraucht
Hardcover
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. 2008. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Artikel-Nr. 3540674012-11-1
Gebraucht kaufen
EUR 41,16
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Foundations of Digital Signal Processing: Theory, algorithms and hardware design (Materials, Circuits and Devices).
Verlag:
The Institution of Engineering and Technology., 2004
ISBN 10: 3540674012
ISBN 13: 9783540674016
Gebraucht
Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
2008th ed. 16 x 23 cm. 484 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Artikel-Nr. 6325VB
Gebraucht kaufen
EUR 15,00
EUR 30,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Temporal Logic And State Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-92093
Beispielbild für diese ISBN
Temporal Logic And State Systems
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock. Artikel-Nr. x-3540674012
Neu kaufen
EUR 123,33
EUR 14,28 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Temporal Logic and State Systems
ISBN 10: 3540674012
ISBN 13: 9783540674016
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. Artikel-Nr. 9783540674016
Neu kaufen
EUR 80,24
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Temporal Logic and State Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Temporal logic has developed over the last30 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. Artikel-Nr. 9783540674016
Neu kaufen
EUR 80,24
EUR 64,20 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar