Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic
Wo zu kaufen (4) Eigenschaften
Gesponsert
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
71.98 EUR
Preis aktualisiert am: 29-10-2026 00:02:08
Siehe Produktangebot
Gesponsert
Temporal Logic and State Systems
Hugendubel
79.99 EUR
Preis aktualisiert am: 29-10-2026 09:48:58
Siehe Produktangebot
Gesponsert
Temporal Logic and State Systems, Fachbücher von Stephan Merz, Fred Kröger
Galaxus.de
80.24 EUR
Preis aktualisiert am: 29-10-2026 14:04:43
Siehe Produktangebot
Gesponsert
Temporal Logic and State Systems
SpringerLink DE
80.24 EUR
Preis aktualisiert am: 28-10-2026 06:17:57
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Advances in Temporal Logic
Advances in Temporal Logic
Aus160.49 EUR 3
Produkt anzeigen
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)
Aus52.84 EUR 3
Produkt anzeigen
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science (897), Band 897)
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science (897), Band 897)
Aus53.49 EUR 3
Produkt anzeigen
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Aus53.49 EUR 3
Produkt anzeigen
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Specification
Aus108.99 EUR 2
Produkt anzeigen
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science, 139, Band 139)
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science, 139, Band 139)
Produkt anzeigen
Menü