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
Socialism with Chinese Characteristics
$139.99
The Global University
$39.99
Markteintrittsstrategien in Osteuropa
$59.99
Under Observation: The Interplay Between eHealth and Surveillance
$159.99
Web and Big Data
$39.99
Chemotaxonomie der Pflanzen
$309.00
MODAK - Modalittenaktivierung in der Aphasietherapie
$44.99
A Guide to Responsible Research
$49.99
The General and Restricted Problems of Three Bodies
$54.99
Finite Approximations in Discrete-Time Stochastic Control
$99.99
Successful Wine Marketing
$149.00
XLVIII. Jahresbericht des Sonnblick-Vereines fr Das Jahr 1950
$59.99
The Corporate Economy
$39.99
Einfhrung in die organisch-chemische Laboratoriumstechnik
$44.99
Concrete-Filled Double Skin Steel Tubular Column with Hybrid Fibre Reinforced Polymer
$39.99
Advances in Focused Retrieval
$39.99
Automated Theorem Proving
$99.00
Wetland Science
$249.99
Molecular Genetics in Fisheries
$109.99
Der Diversification Discount am deutschen Kapitalmarkt
$69.99
Production at the Leading Edge of Technology
$259.00
World Organization of Systems and Cybernetics 18. Congress-WOSC2021
$169.99
Myosins
$219.99
Dialektische Psychologie
$139.99
Application and Theory of Petri Nets 1997
$39.99
Riemannian Topology and Geometric Structures on Manifolds
$139.00
The Theatre of Production
$39.99
Tongue Ties
$39.99
Be An Expert!: Ocean Animals
$4.49
ber Standardisierung von Wundtextilien
$54.99
Interface Effects in Elastic Wave Scattering
$74.99
Climate Change Impacts
$129.00
First Little Comics Levels E & F (Single-Copy Set)
$17.99
Geopolitical Risk, Sustainability and Cross-Border Spillovers in Emerging Markets, Volume I
$129.00
Computational Science ICCS 2020
$54.99
Hardys Influence on the Modern Novel
$129.00
Earth Surface Systems
$84.99
Urheberrechtsverletzungen durch Verlinkungen im Internet
$84.99
X-Ray Microscopy II
$39.99
Multi-Objective Optimization
$139.00
