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

Software Verification

Software Verification

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

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

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

Single Product Purchase

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$44.99 $44.99

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

Kommentar zum Arzneimittelgesetz (AMG)

$129.00

Volume 1: Mechanisms of Inorganic and Organometallic Reactions

$54.99

Poppleton in Summer: An Acorn Book (Poppleton #6)

$4.49

Mechanics and Properties of Composed Materials and Structures

$84.99

Der Erkenntniswert von Rechtswissenschaft fr andere Disziplinen

$74.99

Rarefied Gas Dynamics

$39.99

The Fundamentals of Computational Intelligence: System Approach

$169.99

Modification and Blending of Synthetic and Natural Macromolecules

$129.00

Epigenome Editing

$169.99

Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology

$329.99

Nonlinear Stochastic Dynamic Engineering Systems

$109.99

Research Methods and Data Analysis for Business Decisions

$109.99

This Other Eden- A Novel by Paul Harding

$28.00

Grundbegriffe der Soziologie

$64.99

Limitations and Potentials for Biological Nitrogen Fixation in the Tropics

$84.99

I Survived True Stories #4: Courageous Creatures

$5.99

Norways Peace Policy

$39.99

Social Responses to Technical Systems

$169.99

Computational Kinematics 95

$39.99

Two-Dimensional Superconductivity in Rare Earth Oxybismuthides with Unusual Valent Bismuth Square Ne

$199.99

Vergleichende politikwissenschaftliche Methoden

$59.99

Innovating Firm

$54.99

Intersections of Gender, Religion and Ethnicity in the Middle Ages

$54.99

National Geographic Kids Ultimate Weird but True: 1,000 Wild & Wacky Facts and Photos by National Geographic

$19.95

Restructuring Schools

$109.99

Gewerbebetriebe und Mietrecht

$59.99

Scientific Computing with Mathematica

$84.99

Soft Computing and Its Engineering Applications

$79.99

Reflexive Wissensproduktion

$39.99

Kant on Morality, Humanity, and Legality

$129.99

South American Sauropodomorph Dinosaurs

$249.99

Cystic Fibrosis

$89.00

Modeling, Mesh Generation, and Adaptive Numerical Methods for Partial Differential Equations

$279.99

Statistical Physics of Nanoparticles in the Gas Phase

$84.99

Bell Summer PreK (2 scholar)

$155.00

Handbook of Psychopharmacology

$39.99

Mathematik und Biologie

$59.99

Handbuch Postkolonialismus und Literatur

$89.00

Energy Technology 2016

$109.00

Migration, Agriculture and Rural Development

$22.99