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
Barnes & Noble Breathe: Journeys to Healthy Binding by Maia Kobabe
$10.99
Moderne Windturbinen. Kernenergietechnik heute
$59.99
Zur Stabilitt stromstarker Glimmentladungen
$54.99
Rethinking the History of Education
$119.99
The Long-Wave Debate
$39.99
Sovereign Debt
$129.00
Wrmelehre
$29.99
Vascular Endothelium
$219.99
Beitrge zur Geometrischen Algebra
$84.99
Critical Writing for Embodied Approaches
$99.99
Wettbewerbsvorteile entlang der Supply Chain sichern
$59.99
A Real Variable Method for the Cauchy Transform, and Analytic Capacity
$29.99
Foundations of Data Quality Management
$29.99
International RILEM Conference on Synergising Expertise towards Sustainability and Robustness of Cem
$299.00
National Cyber Summit (NCS) Research Track 2020
$84.99
Implementing Takaful in India
$84.99
Phenomenology and the Formal Sciences
$129.00
General Topology II
$39.99
Life Style and Criminality
$109.99
Analytical Chemistry Progress
$39.99
The Italian Literature of the Axis War
$99.99
Clinical Sociology
$79.99
Waldbeschdigungen durch Thiere und Gegenmittel
$59.99
Child First
$49.99
Pattern Recognition Applications and Methods
$54.99
Accounting for the Public Interest
$109.99
Radionuclide Parathyroid Imaging
$109.99
The Law and Finance of Corporate Insider Trading: Theory and Evidence
$39.99
Handbuch Mitarbeiterfhrung
$59.99
Double-Stranded RNA
$179.99
Basic Income Guarantee and Politics
$109.99
Franz Brentano and Austrian Philosophy
$139.99
Projective and Cayley-Klein Geometries
$84.99
Transcultural Nationalism in Hispano-Filipino Literature
$54.99
Classification and Data Science in the Digital Age
$44.99
Advances in Engineering Project, Production, and Technology
$219.99
Stochastic Equations: Theory and Applications in Acoustics, Hydrodynamics, Magnetohydrodynamics, and
$84.99
Japans Asian Diplomacy
$99.00
Cytokines and Mental Health
$219.99
Progress in the Chemistry of Organic Natural Products
$39.99
