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

Family Group Conferencing with Children and Young People

$79.99

The Zakharov System and its Soliton Solutions

$109.99

Armenverwaltung

$59.99

Topological Quantum Field Theory and Four Manifolds

$84.99

Handbuch Mediensozialisation

$149.99

Dynamic Spin-Fluctuation Theory of Metallic Magnetism

$109.99

Zwischenwelten: Weder Krieg noch Frieden

$89.99

Proceedings of the International Conference on Human-centric Computing 2011 and Embedded and Multime

$219.99

Staatlichkeit im Wandel

$59.99

Mathematical Models for Poroelastic Flows

$129.00

Risk and Return in Asian Emerging Markets

$54.99

Interdisciplinary and Global Perspectives on Intersex

$139.99

Molecular Databases for Protein Sequences and Structure Studies

$84.99

Flood Warning, Forecasting and Emergency Response

$219.99

Internationaler Meteorologischer Kodex

$49.99

Tutorials in Mathematical Biosciences I

$39.99

Omnibustechnik

$79.99

The New SocioTech

$169.99

Confocal Microscopy for Biologists

$54.99

Iron Nutrition and Interactions in Plants

$329.99

Hardy and the Sister Arts

$39.99

Symmetry and Pairing in Superconductors

$109.99

Literary Journalism in Colonial Australia

$119.99

Logic in Question

$199.99

Datenschutz und Universalsukzession bei Verschmelzungen nach dem Umwandlungsgesetz

$69.99

Understanding Economic Reforms in Africa

$109.99

How Referendums Challenge European Democracy

$79.99

Design Methodology and Relationships with Science

$219.99

The Violent Technologies of Extraction

$69.99

Wirtschaftsrechnen

$59.99

Rechtsfragen der Primplantationsdiagnostik

$69.99

Die Sozialisationsorganisationen

$69.99

Angewandte Wirtschaftsstatistik

$24.99

Information Processing in Medical Imaging

$109.99

Art, Cultural Heritage and the Market

$169.99

Der Aufstieg der Netzwerkgesellschaft

$44.99

Content Management for E-Learning

$109.99

"Zeiten des Aufbruchs" - Populre Musik als gesellschaftlichen Wandels

$64.99

David Adler Grades 3-5

$20.50

Viren in allen Dimensionen

$19.99