Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319542911
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Governance in Russian Regions

Governance in Russian Regions

$84.99
Altruistic Reveries

Altruistic Reveries

$109.99
Schizophrenia

Schizophrenia

$39.99
Introduction to Nonlinear Thermomechanics

Introduction to Nonlinear Thermomechanics

$54.99
Organization of R&D: An Evaluation of Best Practices

Organization of R&D: An Evaluation of Best Practices

$109.99
Theoretical Foundations of Synchrotron and Storage Ring RF Systems

Theoretical Foundations of Synchrotron and Storage Ring RF Systems

$129.00
Conservation of Wood Artifacts

Conservation of Wood Artifacts

$329.99
Alternativmedizin

Alternativmedizin

$69.99
Venture Capital and the European Biotechnology Industry

Venture Capital and the European Biotechnology Industry

$84.99
Inselbildung der unteren Hohlvene um eine Verschmelzungsniere

Inselbildung der unteren Hohlvene um eine Verschmelzungsniere

$49.99
Methods in Membrane Lipids

Methods in Membrane Lipids

$169.99
Cousinverteilungen und Fortsetzungsstze

Cousinverteilungen und Fortsetzungsstze

$19.99
Globalisation and Labour Market Adjustment

Globalisation and Labour Market Adjustment

$54.99
The Most Perfect Snowman

The Most Perfect Snowman

$3.71
Breast Cytopathology

Breast Cytopathology

$99.99
The Evolution of a Coordination and Organometallic Chemistry of Surfaces. Elementarer Schwefel  neu

The Evolution of a Coordination and Organometallic Chemistry of Surfaces. Elementarer Schwefel neu

$44.99
Physics and Applications of Optical Solitons in Fibres 95

Physics and Applications of Optical Solitons in Fibres 95

$169.00
Transformations in Modern European Drama

Transformations in Modern European Drama

$44.99
Basic Income in Australia and New Zealand

Basic Income in Australia and New Zealand

$109.99
Artificial Nutrition and Hydration

Artificial Nutrition and Hydration

$249.99
Sex Clubs

Sex Clubs

$139.99
Brain Immune System Signal Molecules in Protection from Aerobic and Anaerobic Infections

Brain Immune System Signal Molecules in Protection from Aerobic and Anaerobic Infections

$249.99
Posthuman Pedagogies in Practice

Posthuman Pedagogies in Practice

$159.99
Shock Waves @ Marseille IV

Shock Waves @ Marseille IV

$109.99
Topics in Signal Processing

Topics in Signal Processing

$139.99
Pflanzenanatomischer Grundkurs

Pflanzenanatomischer Grundkurs

$39.99
Technik aus soziologischer Perspektive 2

Technik aus soziologischer Perspektive 2

$59.99
Ethnic Diversity and Public Policy

Ethnic Diversity and Public Policy

$84.99
The Construction of Spin Eigenfunctions

The Construction of Spin Eigenfunctions

$109.99
Applications of Human Performance Models to System Design

Applications of Human Performance Models to System Design

$169.99
Taking Offence on Social Media

Taking Offence on Social Media

$59.99
Die Leberkrankheiten

Die Leberkrankheiten

$59.99
Nocturnes: Popular Music and the Night

Nocturnes: Popular Music and the Night

$99.00
The Definitive Guide to Magento

The Definitive Guide to Magento

$39.99
Romantische Liebhabereien

Romantische Liebhabereien

$59.99
Geschichte der Medizinisch-Biologischen Institute Berlin-Buch

Geschichte der Medizinisch-Biologischen Institute Berlin-Buch

$64.99
Das neubegrndete Laboratorium fr angewandte Chemie an der Universitt Leipzig

Das neubegrndete Laboratorium fr angewandte Chemie an der Universitt Leipzig

$39.99
Selectivity in the Synthesis of Cyclic Sulfonamides

Selectivity in the Synthesis of Cyclic Sulfonamides

$39.99
Conservation Laws in Variational Thermo-Hydrodynamics

Conservation Laws in Variational Thermo-Hydrodynamics

$39.99
Learn iOS 7 App Development

Learn iOS 7 App Development

$29.99
previous
next