Compositional Verification of Concurrent and Real-Time Systems

Wo zu kaufen (1) Eigenschaften
Gesponsert
Compositional Verification of Concurrent and Real-Time Systems
Hugendubel
96.49 EUR
Preis aktualisiert am: 19-09-2026 14:09:00
Siehe Produktangebot

Allgemein

Marke
Springer US

Eigenschaften

Ähnliche Produkte

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)
Aus102.34 EUR 3
Produkt anzeigen
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Aus53.49 EUR 3
Produkt anzeigen
Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54)
Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54)
Aus106.40 EUR 2
Produkt anzeigen
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
Aus273.80 EUR 1
Produkt anzeigen
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)
Aus104.34 EUR 2
Produkt anzeigen
Menü