Compositional Verification of Concurrent and Real-Time Systems

Wo zu kaufen (1) Eigenschaften
Gesponsert
Compositional Verification of Concurrent and Real-Time Systems
SpringerLink DE
85.59 EUR
Preis aktualisiert am: 22-07-2025 17:14:02
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)
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)
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)
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)
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)
Produkt anzeigen
Menü