Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Numerical Software Verification
Best Price (Coupon Required):
Buy Numerical Software Verification for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Reviews
Questions & Answers
Applied Asset and Risk Management
$109.99
Arbeitsweltbezogene Gesundheitspolitik bei atypischer Erwerbsarbeit
$49.99
Wissenschaftlich-technische Mitarbeiter von Forschungs- und Entwicklungseinrichtungen als potentiell
$59.99
The Environment in Asia Pacific Harbours
$219.99
Harmonic Analysis of Spherical Functions on Real Reductive Groups
$89.00
Aftersales Service of Engineering Industrial Assets
$169.99
Service-Oriented Computing - ICSOC 2014 Workshops
$54.99
Youth in Putin's Russia
$169.99
Neue Forschungen in Afghanistan
$44.99
Usborne Introduction: Introduction to the Second World War
$9.71
Ecological Perspectives of the Upper Mississippi River
$219.99
Die Regulationen der Pflanzen
$59.99
Research and Practice on the Theory of Inventive Problem Solving (TRIZ)
$84.99
From Security to Community Detection in Social Networking Platforms
$159.99
John Robinson
$74.99
Creativity in the Imagination Age
$49.99
Pro Oracle SQL Development
$39.99
Praxis-Check digitale Markenfhrung im Mittelstand
$17.99
Structural Geomorphology in Northeastern Brazil
$54.99
Semantic Models for Adaptive Interactive Systems
$54.99
Common Diseases: Their Nature Incidence and Care
$39.99
Cosmic Ray Astrophysics
$129.99
Eurasian Business Perspectives
$219.99
Trade Negotiations in Latin America
$109.99
Berechnung und Bemessung schlanker Stahlbetonsttzen
$54.99
Bodenkologie interdisziplinr
$99.99
Introduction to SparxSystems Enterprise Architect
$59.99
Bridging the Gap Between AI and Reality
$79.99
Statik und Dynamik in der scholastischen Wirtschaftsethik
$59.99
Stadt und soziale Ungleichheit
$64.99
Geheimsache Siel oder kann Wasser bergauf flieen?
$17.99
Organfunktion und Stoffwechsel in der perioperativen Phase
$59.99
Biogeochemistry of Trace Elements in Coal and Coal Combustion Byproducts
$169.99
Logistik 1
$79.95
Knowledge Society and Education in the Asia-Pacific
$54.99
Diversity
$150.00
Alleinerziehend
$24.99
Yearbook of Morphology 1993
$219.99
The English Renaissance, Orientalism, and the Idea of Asia
$84.99
The Future of Law and eTechnologies
$159.99
