Specification and Compositional Verification Of Real-Time Systems by Jozef Hooman

Best selling editions of Specification and Compositional Verification Of Real-Time Systems

Jozef Hooman
Paperback
Springer, Edition number: 1991
From about A$104.37