Search Results

Author: Juan, Eric Y.T.
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan Eric Y.T.
EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461353492
Print on demand
Delivery on Friday, 21. of August 2026
Print on demand
Delivery on Friday, 21. of August 2026
CZK 2,612 -10%
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan, Eric Y.T.
EnglishEbook
Springer US
ISBN: 9781461510093
Available online
Available online
CZK 3,061 -10%
Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

Juan Eric Y.T.
EnglishHardback
Kluwer Academic Publishers
ISBN: 9781402070259
On order
Delivery on Friday, 21. of August 2026
On order
Delivery on Friday, 21. of August 2026
CZK 2,925 -10%