Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)

Of Concurrent and Real-Time
Wo zu kaufen (2) Eigenschaften
Gesponsert
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)
Medimops DE
106.99 EUR
Preis aktualisiert am: 30-04-2026 14:32:31
Siehe Produktangebot
Gesponsert
Compositional Verification of Concurrent and Real-Time Systems
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 01-05-2026 08:10:36
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 1461353491

Eigenschaften

Ähnliche Produkte

Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
Produkt anzeigen
The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium
The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium
Produkt anzeigen
Presupposition and Implicature in Compositional Semantics
Presupposition and Implicature in Compositional Semantics
Produkt anzeigen
Geostatistics for Compositional Data with R (Use R!)
Geostatistics for Compositional Data with R (Use R!)
Produkt anzeigen
Mueller, Ute: Geostatistics for Compositional Data with R
Mueller, Ute: Geostatistics for Compositional Data with R
Produkt anzeigen
Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety (SpringerBriefs in Electrical and Computer Engineering)
Networks of Dissipative Systems: Compositional Certification of Stability, Performance, and Safety (SpringerBriefs in Electrical and Computer Engineering)
Produkt anzeigen
Menü