Books by Jozef Hooman
No products found matching the selection.
-20%
Specification and Compositional Verification of Real-Time Systems
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier
-20%
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Willem-Paul de Roever, Frank de Boer, Jozef Hooman
€427.84
€534.80
-20% with code BOOKS
In stock at our supplier