Showing 1 - 2 of 2 Results
1.
Specification and Compositional Verification of Real-Time Systems by Hooman, J. ISBN: 9783540549475 List Price: $59.95
2.
Specification and Compositional Verification of Real-Time Systems by Hooman, J. ISBN: 9780387549477 List Price: $53.95