Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Software Verification
Best Price (Coupon Required):
Buy Software Verification for $40.50 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.
Single Product Purchase
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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Soft Matter Physics
$84.99
Scholar Zone Extended Learning Plus ELA Grade 7 (2 Scholar)
$90.00
Judaism and Other Religions
$69.99
New Directions in Computational Economics
$169.99
Simulation and Modeling Methodologies, Technologies and Applications
$129.00
Mller/Bhrmann Bestimmung wirbelloser Tiere
$49.99
Computational Methods for Algebraic Spline Surfaces
$109.99
Giraffes Can't Dance: Love from Giraffes Can't Dance
$6.74
Leben in Exklusionssphren
$59.99
Nearby Molecular Clouds
$39.99
Zins- und Whrungsswaps
$59.99
Millets: The Multi-Cereal Paradigm for Food Sustainability
$219.99
Financial Crisis Management in Regional Blocs
$169.99
Web Services ICWS 2022
$59.99
Natural Disasters and Victorian Empire
$39.99
The Contemporary British Novel Since 1980
$54.99
The Quest for the Description of the Law
$109.99
Air Lubricated and Air Cavity Ships
$129.99
Analysis of Hydrogeochemical Vulnerability
$54.99
Clostridium Difficile Infection in Long-Term Care Facilities
$54.99
Therapeutisches Arbeiten in der Neuroorthopdie
$84.99
Creating Romantic Obsession
$99.99
Nonresponse Bias
$74.99
Schlerlexikon Wirtschaft
$69.99
Embodying Democracy
$109.99
Multilevel Secure Transaction Processing
$169.99
Functional Approach to Professional Discourse Exploration in Linguistics
$44.99
Serious ADO
$49.95
Inklusion fr Menschen mit Demenz
$54.99
The Molecular Biology of Insect Disease Vectors
$219.99
Biologically Based Methods for Cancer Risk Assessment
$54.99
Periodic Orbits, Stability and Resonances
$54.99
Weekend With Wendell, A
$6.50
Carbon Footprint and the Industrial Life Cycle
$149.00
Elements of Computation Theory
$39.99
An Introduction to Hydrodynamics and Water Waves
$74.99
Scholar Zone Summer Reading & Writing Grade 8
$650.00
In-Hand Object Localization and Control: Enabling Dexterous Manipulation with Robotic Hands
$109.00
Common Eye Diseases and Their Management
$74.99
Polynomial Response Maps
$39.99
