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 proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Reviews
Questions & Answers
Mixture Formation in Spark-Ignition Engines
$109.99
The Regulation of Science and Technology
$54.99
Social Media and Civil Society in Japan
$129.99
Pragmatics and Education
$39.99
Adult and Pediatric Neuromodulation
$109.99
African Edible Insects As Alternative Source of Food, Oil, Protein and Bioactive Components
$199.99
Regenerative Injections in Sports Medicine
$159.99
Desperate Journey
$6.71
Rush (Breathless Trilogy #1) by Maya Banks
$18.00
Peanut Butter and Jellyfish (Hardcover)
$17.99
Whrungsumrechnung im Konzern
$59.99
Artificial Intelligence Today
$39.99
International Handbook of Elder Abuse and Mistreatment
$109.99
Integrated Education in Conflicted Societies
$54.99
Why Marketing to Women Doesn't Work
$24.99
Aging and Behavior
$39.99
Macroscopic Modelling of Turbulent Flows
$39.99
Invariant Manifolds for Physical and Chemical Kinetics
$84.99
Multimedia Database Management Systems
$169.00
Die Kursbildung am Aktienmarkt seit der Stabilisierung
$59.99
Hochschule der Bundeswehr zwischen Ausbildungs- und Hochschulreform
$59.99
Search Computing
$39.99
3D Stacked Chips
$54.99
Electromagnetic Scattering using the Iterative Multi-Region Technique
$29.99
Das Informationszeitalter
$189.00
Nanoformulations in Human Health
$169.99
Artusepik
$29.99
One Company, Diverse Workplaces
$54.99
Definitive Guide to Excel VBA
$54.99
Crowdworking im Entrepreneurship
$64.99
The Discovery of Quantum Mechanics 1925
$249.99
Lightweight Cryptography for Security and Privacy
$54.99
Molecular Biology of the Lung
$39.99
Securing Public Transportation Systems
$39.99
Computational Issues in Fluid Construction Grammar
$39.99
Basiswissen Auenhandel
$19.99
Prehistoric Warfare and Violence
$199.99
Cookies for Santa- The Story of How Santa's Favorite Cookie Saved Christmas by America's Test Kitchen Kids
$17.99
Mindy Kim: Mindy Kim Makes a Splash!
$5.21
The Safety Utopia
$84.99
