Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, . (Lecture Notes in Computer Science, 1680)
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since March 25, 2015
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Add to basket