Výsledky vyhledávání

Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan Eric Y.T.
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781461353492
Tisk na objednávku
Předpokládané dodání v pondělí, 13. července 2026
Tisk na objednávku
Předpokládané dodání v pondělí, 13. července 2026
2 612 Kč -10 %
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan, Eric Y.T.
AngličtinaEbook
Springer US
ISBN: 9781461510093
Dostupné online
Dostupné online
3 061 Kč -10 %
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan Eric Y.T.
AngličtinaPevná vazba
Kluwer Academic Publishers
ISBN: 9781402070259
Na objednávku
Předpokládané dodání v pondělí, 13. července 2026
Na objednávku
Předpokládané dodání v pondělí, 13. července 2026
2 925 Kč -10 %