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
Money, Autonomy and Citizenship
$54.99
Doping of Carbon Nanotubes
$109.99
Asthma: Pathophysiology, Herbal and Modern Therapeutic Interventions
$69.99
Thermomechanics and Infra-Red Imaging, Volume 7
$169.99
Scalable Information Systems
$54.99
Unlocking the Secrets of White Dwarf Stars
$44.99
Postcultural Theory
$74.99
Neurobiology of Food and Fluid Intake
$259.00
Langzeitverformungsverhalten elastomerer Werkstoffe fr Baulager unter Bercksichtigung des Temperat
$59.99
Psychology in Economics and Business
$169.99
Anticipating and Assessing Health Care Technology, Volume 5
$169.99
Retinal Pigment Epithelium and Macular Diseases
$219.99
Ein dreidimensionales Bildverarbeitungssystem fr die Automatisierung visueller Prfvorgnge
$69.99
Electronic States and Optical Transitions in Semiconductor Heterostructures
$54.99
Escape from Chernobyl
$5.99
Recent Developments and Achievements in Biocybernetics and Biomedical Engineering
$169.99
Die Berufserziehung in der Landwirtschaft
$59.99
Informationssysteme im Bauwesen 2
$84.99
Post-Agricultural Succession in the Neotropics
$109.99
Virtual Existentialism
$69.99
Evidenzbasiertes Markenmanagement
$69.99
Wireless On-Demand Network Systems
$54.99
Cell Penetrating Peptides
$149.00
Ocean Science and the British Cold War State
$99.00
Urbanes Zusammenleben
$39.99
Wide Sargasso Sea at 50
$89.00
National Geographic Kids Readers: Lions
$4.46
Ecological Ethics and Living Subjectivity in Hegel's Logic
$54.99
My Books Summer & Summer Express Workbook Grade K Fiction 5-Book Pack
$35.95
The Lean Healthcare Handbook
$99.99
Organizations and Strategies in Astronomy
$129.00
Discourses of Race, Ethnicity and Gender in Education
$139.99
Rookie Read-About Geography-Continents: Europe
$4.46
Early Detection and Localization of Lung Tumors in High Risk Groups
$109.99
Time-Delayed Chaotic Dynamical Systems
$54.99
Vokabelbuch Fachenglisch fr Gesundheitsberufe: Englisch - Deutsch
$14.99
Applied Cryptography and Network Security
$89.99
Rookie Preschool-My First Rookie Reader: Jack's Room
$5.21
Exploring the Earth System with Imaging Spectroscopy
$109.99
Einfhrung in die Philosophie
$59.99
