Similar Listings
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems - 9780521883337
Real-Time Systems Formal Specification and Automatic Verification Olderog Dierks
Olderog - Real-Time Systems - New hardback or cased book - 59 - X555z
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...
Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...
Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...