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 GreatBookPrices, Columbia, MD, U.S.A.
AbeBooks Seller since April 6, 2009
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: Over 20 available
Add to basket