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
Bifurcation Problems and their Numerical Solution
$49.99
Information Technology in Biomedicine
$249.99
Politisches Denken
$49.99
Using Transparency Against Corruption in Public Procurement
$179.99
Imperiales Erbe?
$74.99
Regulation of microRNAs
$84.99
Die rechtsgeschftliche bertragung von Kommanditanteilen
$59.99
Mlanges Offerts Juraj Andrassy
$39.99
Economic Theory of Representative Government
$19.99
Research and Research Education in Music Performance and Pedagogy
$109.99
Kinderschutz in institutionellen Arrangements
$39.99
Distributed Autonomous Robotic Systems
$109.99
10 Fascinating Facts About Castles
$4.46
Minerals and Mineraloids in Marine Sediments
$89.00
Japanese Warrant Markets
$219.99
Corruption, Development and Underdevelopment
$169.99
Who Would Win?: Alligator vs. Python
$3.74
Love is: (Illustrated Story Book About Caring for Others, Book About Love for Parents and Children, Rhyming Picture Book) by Diane Adams
$16.99
Five Nights at Freddy's - Tales From the Pizzaplex: B7-2
$8.24
Black Children in Hollywood Cinema
$109.99
Natural Products in Cancer Prevention and Therapy
$219.99
Evaluating and Applying Decision Models
$169.99
Homo Connectus
$69.99
Causation in Decision, Belief Change, and Statistics
$169.99
Learning and Geometry: Computational Approaches
$109.99
Diagnostik der Kinderkrankheiten
$59.99
Royal Mourning and Regency Culture
$109.99
Speech Rate, Pause and Sociolinguistic Variation
$109.99
The Impact of Smart Feature Phones on Development
$54.99
Optical Properties of Crystalline and Amorphous Semiconductors
$169.00
European Airport Retailing: Growth Strategies for the New Millennium
$109.99
Analysis of Queueing Networks with Blocking
$109.99
Component-Based Software Engineering
$39.99
Business Research Projects for Students
$54.99
Periodic Solutions of Singular Lagrangian Systems
$84.99
Karyotypes of Parasitic Hymenoptera
$129.00
Classical and Quantum Aspects of Gravity in Relation to the Emergent Paradigm
$139.99
Business in Real-Time Using Azure IoT and Cortana Intelligence Suite
$49.99
Typologie zum berbetrieblichen Vergleich von Fertigungssteuerungsverfahren im Maschinenbau
$59.99
Graphs in Perturbation Theory
$129.99
