9783642086809 - temporal logic and state systems (texts in theoretical computer science. an eatcs series) von kröger, fred; merz, stephan (4 Ergebnisse)

Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 30 von 45. Buch 30 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 71,60
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

Sprache: Englisch
Verlag: Springer Berlin Heidelberg 2008
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 30 von 45. Buch 30 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,39
EUR 14,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 436 pages. 9.00x6.00x1.01 inches. In Stock.
Weitere BilderSprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 30 von 45. Buch 30 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 72,75
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Temporal Logic and State Systems | Fred Kröger (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xii | Englisch | 2010 | Springer | EAN 9783642086809 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]sp…ringer[dot]com | Anbieter: preigu.

Sprache: Englisch
Verlag: Springer Berlin Heidelberg 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 30 von 45. Buch 30 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,24
EUR 63,37 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. 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.