Similar Listings
Specification and Compositional Verification of Real-Time Systems by Hooman: New
Real-Time Systems: Formal Specification and Automatic Verification
Compositional Theory in the Eighteenth Century by Joel Lester (Paperback, 1994)
Design, Specification and Verification of Interactive Systems ’98: Proceedings o
Specification and Compositional Verification of Real-time Systems, Paperback ...
Specification and Compositional Verification of Real-time Systems, Paperback ...
Design, Specification and Verification of Interactive Systems '96: Proceedings
Design, Specification and Verification of Interactive Systems `98 : Proceedin...