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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

104.34 EUR
Preis aktualisiert am: 10-02-2026 02:49:10
Siehe Produktangebot

Gesponsert Compositional Verification of Concurrent and Real-Time Systems

106.99 EUR
Preis aktualisiert am: 05-02-2026 01:23:43
Siehe Produktangebot
Bezeichner
ISBN Juan, Eric Y.T. 140207025X
Abmessungen / Gewicht
Hauptmerkmale
Juan, Eric Y.T.