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
I Like to Read - Horse & Buggy - Guided Reading Level E: Dance, Dance, Dance
$3.71
Rationalisierung von Inventur und Bestandskontrolle
$17.99
Strategic Unionism and Partnership
$109.99
Europa ohne Gesellschaft
$59.99
Local Democracy and Politics in South Asia
$59.99
The History of Maxillofacial Surgery
$179.99
Blast Back!: The Space Race
$4.46
Transparent Lobbying and Democracy
$109.99
Semantisch-lexikalische Strungen bei Kindern
$59.99
Deconstructing the Enlightenment in Spanish America
$99.99
Connected-TV
$59.99
Die Grenzen der Rational Choice Theorie
$59.99
Localization and Orientation in Biology and Engineering
$109.99
Digital Libraries: Providing Quality Information
$54.99
Self-Dual Codes and Invariant Theory
$199.99
Taleworlds and Storyrealms
$169.99
Current Trends in Concrete Fracture Research
$169.99
Smiths Urologie
$64.99
Formeln und Tabellen der angewandten mathematischen Statistik
$399.99
Culture and International Law
$69.95
Finsler Metrics - A Global Approach
$29.99
Die Elektronenrhre als physikalisches Megert
$59.99
Principles of Food Processing
$179.99
Political Regimes and Neopatrimonialism in Central Asia
$129.99
Public Law within Government
$39.99
Central Cholinergic Synaptic Transmission
$39.99
Social Computing in Digital Education
$54.99
Das jdische Jugendbuch
$69.99
Skin Diseases in the Immunocompromised
$169.99
Systems Biology and Computational Proteomics
$39.99
Planungs- und Kontrollsysteme
$44.99
Unternehmensnachfolge
$49.99
Aufgaben und Lsungen zur Elektronik und Kommunikationstechnik
$39.99
Steigerung der Genauigkeit und Betriebssicherheit bei den elektrochemischen Bearbeitungsverfahren
$69.99
Placemaking for Green Urban Regeneration
$109.99
Robust Multivariate Analysis
$89.99
Eine Frage!
$54.99
The Wild World of Buck Bray: The Missing Grizzly Cubs
$5.21
Variational Methods for Structural Optimization
$129.00
Theorie der Unternehmungswertsteigerung
$69.99
