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

Data Augmentation, Labelling, and Imperfections

Data Augmentation, Labelling, and Imperfections

$59.99
Einfhrung In Die Algebraische Geometrie

Einfhrung In Die Algebraische Geometrie

$49.99
Equity in Discourse for Mathematics Education

Equity in Discourse for Mathematics Education

$109.00
Climate Change and Economic Development

Climate Change and Economic Development

$54.99
Quality-Oriented Design of Business Processes

Quality-Oriented Design of Business Processes

$129.00
Data Dissemination in Wireless Computing Environments

Data Dissemination in Wireless Computing Environments

$129.00
Population Dynamics and Projection Methods

Population Dynamics and Projection Methods

$109.99
Neuroinflammation  From Bench to Bedside

Neuroinflammation From Bench to Bedside

$109.99
Beitrge zur Unternehmensplanung

Beitrge zur Unternehmensplanung

$59.99
Who is Hatching?

Who is Hatching?

$3.71
Advances in Databases and Information Systems

Advances in Databases and Information Systems

$54.99
Computer Methods in Mechanics

Computer Methods in Mechanics

$169.00
Beyond Parenting Advice

Beyond Parenting Advice

$27.99
Personen- und Gterbahnhfe

Personen- und Gterbahnhfe

$44.99
DFT-Domain Based Single-Microphone Noise Reduction for Speech Enhancement

DFT-Domain Based Single-Microphone Noise Reduction for Speech Enhancement

$19.99
Linear Control Systems

Linear Control Systems

$189.00
Einfhrung in die Statistik

Einfhrung in die Statistik

$69.95
Hayek: A Collaborative Biography

Hayek: A Collaborative Biography

$169.99
News, Newspapers and Television

News, Newspapers and Television

$54.99
Biological Systematics: The State of the Art

Biological Systematics: The State of the Art

$219.99
Race and Racism in Britain

Race and Racism in Britain

$64.99
Ready-To-Go 100 Book Classroom Library: Favorites, Grade 6

Ready-To-Go 100 Book Classroom Library: Favorites, Grade 6

$569.00
North Africa, Colonialism and the EU

North Africa, Colonialism and the EU

$59.99
Genetic Programming and Data Structures

Genetic Programming and Data Structures

$169.99
Oestrogene Beim Menschen

Oestrogene Beim Menschen

$69.99
Economic Doctrines in Latin America

Economic Doctrines in Latin America

$109.99
Investigative Journalism

Investigative Journalism

$29.99
Statistical Data Analysis Using SAS

Statistical Data Analysis Using SAS

$159.99
Tabloid Journalism and Press Freedom in Africa

Tabloid Journalism and Press Freedom in Africa

$84.99
Resource Allocation in Project Management

Resource Allocation in Project Management

$109.99
UI Design for iOS App Development

UI Design for iOS App Development

$49.99
Incommunicado

Incommunicado

$7.46
Mobilitt und Gesundheit

Mobilitt und Gesundheit

$69.99
Regelungstechnik 2

Regelungstechnik 2

$54.99
The Underactive Bladder

The Underactive Bladder

$109.99
Cardiac Nuclear Medicine

Cardiac Nuclear Medicine

$109.99
Living Things

Living Things

$3.71
Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Col

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Col

$59.99
Graphing Grade 2 Differentiation Pack

Graphing Grade 2 Differentiation Pack

$5.99
The Acquisition of Spanish Morphosyntax

The Acquisition of Spanish Morphosyntax

$109.99
previous
next