Hauptinhalt anzeigen

MOMENTAN AUSVERKAUFT

Temporal Logic and State Systems von Stephan Merz (2008, Gebundene Ausgabe)

Über dieses Produkt

Über dieses Produkt

Produktinformation

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.

Produktkennzeichnungen

ISBN-10
3540674012
ISBN-13
9783540674016
eBay Product ID (ePID)
59670808

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
452 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Temporal Logic And State Systems
Autor
Stephan Merz
Format
Gebundene Ausgabe
Erscheinungsjahr
2008

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Hc Runder Rücken Kaschiert
Item Length
24cm
Item Height
3cm
Item Width
16cm
Mitautor
Fred Kröger
Item Weight
840g
Buchreihe
Texts in Theoretical Computer Science. an Eatcs Series

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Männer, die die Welt verbrennen | Christian Stöcker | 2024 | deutsch
EUR 22,99
Preistendenz: EUR 23,22
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,42
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,47
PFLEGEN 1000 Fragen, 1000 Antworten | Für Ausbildung und Prüfung | Maren Höpfner
EUR 33,00
Preistendenz: EUR 33,33
Carissa Broadbent The Serpent and the Wings of Night (Crowns of Nyaxia 1)
EUR 18,00
Preistendenz: EUR 18,21
Kopf hoch! Volker Busch
EUR 20,00
Preistendenz: EUR 20,28

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant