Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Numerical Software Verification

Numerical Software Verification

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

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Development Paths in Africa and China

$54.99

Gedanken zur Naturphilosophie

$59.99

Boredom Experience and Associated Behaviors

$109.00

Studieren kann man lernen

$19.99

Obesity in the 21st Century

$37.99

Operator Theory, Analysis and the State Space Approach

$99.99

Nordrhein-Westflische Akademie der Wissenschaften

$69.99

Regional Governance and Policy-Making in South America

$69.99

Impact of Aircraft Sourcing & Financing on Financial Success

$49.99

Development Strategy and the Economy of Sierra Leone

$44.99

Immunosuppression and Human Malignancy

$109.99

Critical Landscape Planning during the Belt and Road Initiative

$59.99

Urban Agglomeration and Economic Growth

$84.99

Local Site Effects and Ground Failures

$219.99

Neuropsychological Rehabilitation of Childhood Brain Injury

$109.99

How the Internet Shapes Collective Actions

$54.99

Anwendungsprobleme im Mathematikunterricht der Sekundarstufe I

$69.99

What Was.: What Was the Age of Dinosaurs

$4.88

From Legislators to the End-User

$54.99

The Politics of Womens Health Care in the United States

$59.99

Nonlinear Observers and Applications

$139.99

Lacroix and the Calculus

$84.99

Renal Disease in Children

$84.99

Internationale Werbung in supranationalen Fernsehprogrammen

$49.99

Expert .NET Micro Framework

$44.99

The Political Economy of Asian Regionalism

$129.00

Error Coding for Engineers

$109.99

Parasitinsekten der Blattminierer Europas

$49.99

Quantum Field Theory

$99.99

Otto Warburg

$84.99

Recent Advances in Reinforcement Learning

$84.99

Introduction to R for Terrestrial Ecology

$54.99

Problems in Quantum Mechanics

$89.99

Product-Focused Software Process Improvement

$39.99

Surgery of Complex Abdominal Wall Defects

$109.00

Antifungal Agents

$84.99

Nonviolence and Peace Psychology

$169.99

Das Summa Summarum des Erfolgs

$64.99

The Role of Law and Ethics in the Globalized Economy

$109.99

Psychiatric Consequences of Brain Disease in the Elderly: A Focus on Management

$54.99