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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Temporal Logic in Specification
Hugendubel
53.49 EUR
Preis aktualisiert am: 27-09-2026 17:36:13
Siehe Produktangebot
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: 28-09-2026 07:15:05
Siehe Produktangebot
Gesponsert
Temporal Logic in Specification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-09-2026 11:24:20
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)
Aus152.06 EUR 4
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)
Aus71.98 EUR 4
Produkt anzeigen
Piterman, Nir: Extending Temporal Logic with Omega-automata
Piterman, Nir: Extending Temporal Logic with Omega-automata
Aus48.99 EUR 2
Produkt anzeigen
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems: Specification
Aus53.49 EUR 3
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)
Aus41.52 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
Menü