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
Neue und alte Infektionskrankheiten
$89.99
Cloud Computing and Services Science
$54.99
Verwaltungsprozerecht
$99.99
Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers
$79.99
Emotional Feedback for Mobile Devices
$109.99
Echocardiography in ICU
$99.99
Moderne Praxisfhrung
$39.99
Space Shuttle Challenger
$29.99
Advances in Fatigue Science and Technology
$429.00
Microphysical Reality and Quantum Formalism
$329.99
DNA-Protein Interactions
$109.99
Is the Economic Cycle Still Alive?
$169.99
Die Krperliche Erziehung des Kindes
$44.99
Whole-Body Control for Multi-Contact Balancing of Humanoid Robots
$139.99
Rechtshandbuch Medizinische Versorgungszentren
$139.99
Statistical Theory and Applications
$109.99
Technology and Innovation in Learning, Teaching and Education
$84.99
The Institutionalised Transformation of the East German Economy
$54.99
Energy and Exergy for Sustainable and Clean Environment, Volume 1
$99.00
Mechanics and Geometry of Enriched Continua
$139.99
The Front End of Innovation in Converging Industries
$54.99
Systems Modelling and Management
$39.99
Anxious for Nothing- Finding Calm in a Chaotic World by Max Lucado
$19.99
Stars with Stripes
$44.99
Proceedings of The 20th Pacific Basin Nuclear Conference
$219.99
Restoration of Tropical Forest Ecosystems
$219.99
Representation and Identity from Versailles to the Present
$54.99
Motion Analysis and Image Sequence Processing
$219.99
Cultural Phylogenetics
$139.00
Teaching Quality of Life in Different Domains
$129.99
Wem gehrt die Heimat?
$44.99
Systemfhrung
$49.99
Umweltchemie
$59.99
Institutions, Entrepreneurship, and Economic Performance
$139.99
NC-Programmiersystem
$84.99
Handbook of Research on Emerging Theories, Models, and Applications of Financial Econometrics
$149.00
Correlations and Connectivity
$219.99
Emotional Intelligence 2.0 by Travis Bradberry
$34.99
British Sociability in the European Enlightenment
$89.00
Fahrzeugaerodynamik
$29.99
