Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
J.C. Bradfield
Sold by Chiron Media, Wallingford, United Kingdom
AbeBooks Seller since 2 August 2010
New - Soft cover
Condition: New
Quantity: 10 available
Add to basket