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
Secrecy, Privacy and Accountability
$39.99
The Romantic Ethic and the Spirit of Modern Consumerism
$69.99
Die Idee der Wissenschaft
$24.99
The Neolithic Demographic Transition and its Consequences
$279.99
Der Satz des Pythagoras in 365 Beweisen
$39.99
Shakespeares Religious Frontier
$109.99
Visual Analysis of Behaviour
$129.00
Nuclear Pion Photoproduction
$39.99
The Scourge Between Stars by Ness Brown
$16.99
Percutaneous Penetration Enhancers Chemical Methods in Penetration Enhancement
$84.99
Eighteenth-Century Naval Officers
$159.99
Interkulturelle Waldorfschule
$49.99
Intelligent Systems Design and Applications
$259.00
Neuroembryology
$39.99
Teaching Professional Attitudes and Basic Clinical Skills to Medical Students
$84.99
International Humanitarian Assistance
$39.99
Vis Vim Vi: Declinations of Force in Leibnizs Dynamics
$99.99
Kinder und Differenz
$44.99
Linear and Nonlinear Optical Responses of Chiral Multifold Semimetals
$179.99
Distributed Autonomous Robotic Systems 3
$84.99
An Ontology of Consciousness
$109.99
Geoforming Mars
$129.00
Strategische Personalplanung und Humankapitalbewertung
$59.99
9th European Medical and Biological Engineering Conference
$249.99
I. Teil Resonanzfrequenzmessungen an in Wasser und aggressiven Lsungen gelagerten Mrtelprismen. II
$49.99
Die Analyse sozialer Ungleichheit
$69.95
String Processing and Information Retrieval
$54.99
Basic and Advanced Laboratory Techniques in Histopathology and Cytology
$84.99
Resistance to Targeted ABC Transporters in Cancer
$109.99
Didaktik mathematischer Probleme und Aufgaben
$69.99
Residue Reviews/Rckstandsberichte
$54.99
The Security Dilemmas of Southeast Asia
$109.99
Civil Society in Bangladesh
$139.99
Biotechnological strategies for the conservation of medicinal and ornamental climbers
$129.00
Neurogenetik
$59.99
Digitalisierung
$29.99
Strategic Stability in the Post-Cold War World and the Future of Nuclear Disarmament
$219.99
Pathologie des Trauma
$74.99
Principles of Mobile Communication
$74.99
Der Anspruch auf Elternteilzeit - de lege lata und de lege ferenda
$27.99
