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 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers 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
Design of CMOS Analog Integrated Fractional-Order Circuits
$39.99
Silent Days, Silent Dreams (Hardcover)
$18.74
Global Space Governance: An International Study
$329.99
Mechanisms of Ionic Polymerization
$39.99
Selected Soldering and Brazing Systems
$549.99
Introduction to Nuclear Reactor Experiments
$49.99
Elektroakustik
$59.99
Specific Intermolecular Interactions of Organic Compounds
$169.99
Womanist and Black Feminist Responses to Tyler Perrys Productions
$84.99
Comprehensive and Clinical Anatomy of the Middle Ear
$79.99
Integrated Nanomaterials and their Applications
$139.00
Systemtheorien in der Supervision
$74.99
Renewable Energy and Sustainable Technologies for Building and Environmental Applications
$109.99
Cardiomyopathies and Heart Failure
$169.00
Virus Variability, Epidemiology and Control
$169.00
Territorial Governance in Times of Crisis
$44.99
NASA's First Space Shuttle Astronaut Selection
$29.99
Synthetic Biology and the Question of Public Participation
$49.99
Political Economy of Chinas Climate Policy
$109.99
Friedrich Gottlieb Klopstock
$17.99
Psychologische Handlungstheorie in angewandter Forschung und Praxis
$49.99
Social Choice and Bargaining Perspectives on Distributive Justice
$54.99
Transnationale Strategien
$79.99
Approximate Computing
$129.99
Hierarchical Nonlinear Switching Control Design with Applications to Propulsion Systems
$84.99
To Shake the Sleeping Self - A Journey from Oregon to Patagonia, and a Quest for a Life with No Regret by Jedidiah Jenkins
$18.00
Online-Gemeinschaften als Geschftsmodell
$79.99
Higher Order Logic Theorem Proving and Its Applications
$39.99
Triggering of Acute Coronary Syndromes
$169.00
Geomorphology of the Northeast Region of Brazil
$179.99
Schulschlieungen und Umbau von Schulstandorten
$39.99
Realizing Human Rights
$54.99
Friedrich Hebbel
$19.99
Understanding Proactive Customer Orientation
$54.99
Hardware Description Languages and their Applications
$169.99
The Neuropsychopathology of Schizophrenia
$179.99
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collectio
$54.99
Electronic Voting
$54.99
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks
$109.99
Impact of Business Association Services and Training Programs on Export Performance
$54.99
