Specification and Compositional Verification of Real-Time Systems by Hooman: New

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

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

Sten Ed Realtime Theory Vol. 1 Machine Shorthand Ritter - Brand New - NEVER USED

Compositional Verification of Concurrent and Real-Time Systems by Jeffrey J.P. T

Compositional Verification of Concurrent and Real-Time Systems - 9781461353492

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

Specification and Verification of Concurrent Systems by Charles Rattray (English