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
Der Einsatz der Bundeswehr im Innern
$17.99
Elliptic Boundary Problems for Dirac Operators
$199.00
Theoretische Physik 4
$64.99
Interkulturelles Mentoring made in Germany
$64.99
Ethnicity and Gender at Work
$109.99
Schallschutz: Bauakustik
$129.99
Chemometric Methods in Analytical Spectroscopy Technology
$199.99
Polar Bears
$3.71
State-Space Search
$109.99
Dynamic Quality Models and Games in Digital Supply Chains
$119.99
Neuroeconomics
$179.99
Sight Word Stories: Level D (Single-Copy Set)
$17.99
Psychoanalysis, Philosophy and Myth in Contemporary Culture
$79.99
Improving Healthcare
$169.99
Algorithmic Learning Theory
$39.99
Redeploying the State
$39.99
Psychoanalytische Therapie
$119.99
Translational Biomedical Informatics
$129.00
Energy for the Year 2000
$39.99
Learning, Leading, and the Best-Loved Self in Teaching and Teacher Education
$179.99
Bladder Disease
$219.99
Hydrogen and Energy
$44.99
Data Mining and Big Data
$129.99
Strategische Suchfeldanalyse
$54.99
Perspektiven der Soziologielehre
$44.99
Taste Of Home 365 Days Of Cookies by Taste Of Home (Editor)
$19.99
Mind-Energy
$109.99
The Evolution of the Vehicle Routing Problem
$29.99
I Am an American
$5.96
Output Regulation of Uncertain Nonlinear Systems
$84.99
Research in Computational Molecular Biology
$84.99
Bergtler der Schweiz
$44.99
PISA 2000 Die Lnder der Bundesrepublik Deutschland im Vergleich
$59.99
Fremdsprachliche Literaturdidaktik
$39.99
Restarting Automata
$219.99
Efficient Polymorphic Calls
$169.99
Fuel Cell Micro-grids
$169.99
Intelligent CAD Systems I
$39.99
Immunoglobulins in Health and Disease
$39.99
Conceptual Modeling - ER 2009
$84.99
