Specification and Compositional Verification of Real-time Systems, Paperback ...

Compositional Verification of Concurrent and Real-Time Systems - 9781461353492

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Big Principles and Best Practices of Scalable Realtime Data Systems by James...

Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Realtime Theory the Complete StenEd Theory, Part 1 & book of brief forms

The Book of Wisdom: Volume 1 and 2 by Harry Jozef Paperback Book