Verified Software. Theories, Tools, and Experiments : 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17?18, 2016, Revised Selected Papers
Blazy, Sandrine (EDT); Chechik, Marsha (EDT)
Sold by GreatBookPricesUK, Woodford Green, United Kingdom
AbeBooks Seller since January 28, 2020
Used - Soft cover
Condition: Used - As new
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Add to basket