Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, ProceedingsVerified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
BooksCloudSKU: 9783642150562

Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback

$96.08
Shipping calculated at checkout.
Low Stock (1)
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings - Paperback
$96.08
Still deciding?
Logo for GOVX ID, a service used to verify military, first responder, nurse or teachers to qualify them for discounts

Discount available for Military, First Responders, Medical Workers and Teachers

Payment & Security
American Express
Apple Pay
Diners Club
Discover
Google Pay
Mastercard
PayPal
Shop Pay
Venmo
Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

Security
Related categories
Arts & Music - VysnArts & Music Automotive - VysnAutomotive Baby & Kids - VysnBaby & Kids Beauty & Body - VysnBeauty & Body Books & Collectibles - VysnBooks & Collectibles Clothing & Fashion - VysnClothing & Fashion Electronics - VysnElectronics Fitness Equipment - VysnFitness Equipment Food & Beverages - VysnFood & Beverages Health & Wellness - VysnHealth & Wellness Home & Garden - VysnHome & Garden Jewelry & Watches - VysnJewelry & Watches Mobility & Accessibility - VysnMobility & Accessibility Office & Work - VysnOffice & Work Pet Supplies - VysnPet Supplies Sports & Outdoor - VysnSports & Outdoor Toys & Games - VysnToys & Games Travel & Luggage - VysnTravel & Luggage
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.

by Gary T. Leavens (Editor), Peter O'Hearn (Editor), Sriram K. Rajamani (Editor)

Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.

Number of Pages: 217
Dimensions: 0.5 x 9.1 x 6.1 IN
Illustrated: Yes
Publication Date: August 05, 2010
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee