Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398, Band 398)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398, Band 398)
Medimops DE
53.49 EUR
Preis aktualisiert am: 25-07-2026 02:32:02
Siehe Produktangebot
Gesponsert
Temporal Logic in Specification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 24-07-2026 23:08:14
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540518037
MPN
Springer Berlin Heidelberg 6886686

Eigenschaften

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Produkt anzeigen
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Produkt anzeigen
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Specification
Produkt anzeigen
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Piterman, Nir: Extending Temporal Logic with Omega-automata
Piterman, Nir: Extending Temporal Logic with Omega-automata
Produkt anzeigen
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Specification
Produkt anzeigen
Menü