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

Compositional Verification
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
104.34 EUR
Preis aktualisiert am: 10-02-2026 02:49:10
Siehe Produktangebot
Gesponsert
Compositional Verification of Concurrent and Real-Time Systems
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 05-02-2026 01:23:43
Siehe Produktangebot

Allgemein

Marke
Juan, Eric Y.T.
ISBN
Juan, Eric Y.T. 140207025X

Eigenschaften

Ähnliche Produkte

The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium
The Akathistos Hymnos and Intermedial Compositional Processes in Later Byzantium
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
Geostatistics for Compositional Data with R (Use R!)
Geostatistics for Compositional Data with R (Use R!)
Produkt anzeigen
Presupposition and Implicature in Compositional Semantics
Presupposition and Implicature in Compositional Semantics
Produkt anzeigen
Quantum Physics and Linguistics
Quantum Physics and Linguistics
Produkt anzeigen
Mueller, Ute: Geostatistics for Compositional Data with R
Mueller, Ute: Geostatistics for Compositional Data with R
Produkt anzeigen
Menü