Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)

Temporal Logic
Wo zu kaufen (3) Eigenschaften
Gesponsert
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, 8, Band 8)
Medimops DE
52.84 EUR
Preis aktualisiert am: 29-10-2026 00:11:12
Siehe Produktangebot
Gesponsert
Temporal Logic of Programs
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:33:47
Siehe Produktangebot
Gesponsert
Temporal Logic of Programs
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:27:48
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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
Advances in Temporal Logic
Advances in Temporal Logic
Aus160.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
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
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)
Aus80.24 EUR 1
Produkt anzeigen
Menü