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
Natural Gas Hydrates
$129.00
Feynman-Graphen und Eichtheorien fr Experimentalphysiker
$59.99
Hommel interaktiv Update Netzwerkversion 19.0 auf 20.0
$1,569.00
Mathematische Grundlagen fr die Informatik
$37.99
Sequence Detection for High-Density Storage Channels
$109.99
Resilient and Responsible Smart Cities
$229.00
Einfhrung in die Abfallwirtschaft
$54.99
Energy Futures
$109.99
Complex MongeAmpre Equations and Geodesics in the Space of Khler Metrics
$39.99
Heiner Mller-Handbuch
$99.99
Agricultural Law
$149.00
Aufgaben aus der Technischen Mechanik
$79.99
Policy-Making for Russian Industry
$39.99
Handbuch Fderalismus - Fderalismus als demokratische Rechtsordnung und Rechtskultur in Deutschland
$139.00
Language Acquisition
$109.99
Dictionary of Building and Civil Engineering
$109.99
Taschenbuch fr Lebensmittelchemiker und -technologen
$54.99
A Set Theory Workbook
$39.99
Multithreaded Computer Architecture: A Summary of the State of the ART
$169.00
Der Markup als konomische Kennzahl
$59.99
The Euroschool on Exotic Beams, Vol. IV
$54.99
The British Migrant Experience 1700-2000
$109.99
Das Prinzip Unschrfe
$34.99
Computers in Critical Care and Pulmonary Medicine
$39.99
Alterity and the Flint Water Crisis
$139.99
Lady in the Lake by Laura Lippman
$18.99
Science and Innovation as Strategic Tools for Industrial and Economic Growth
$39.99
Die Akzeptanz von Insekten in der Ernhrung
$69.99
Advances in Berthing and Mooring of Ships and Offshore Structures
$39.99
Government e-Strategic Planning and Management
$109.99
Communists and National Socialists
$39.99
Europe in the Age of Post-Truth Politics
$59.99
The Human Rights Challenge to Immunity in International Law
$89.00
Child Behavior Therapy Casebook
$39.99
Mechanisms for Autonomous Management of Networks and Services
$39.99
Fin-Shape Thermal Optimization Using Bejan's Constuctal Theory
$39.99
Recombinant Gene Expression
$139.00
The Flow Equation Approach to Many-Particle Systems
$169.99
Frau im Leistungssport
$69.99
Electronic Government
$54.99
