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 The Second Chance of Darius Logan by David F. Walker
$19.99
Erfolgreich gegen Kopfschmerzen und Migrne
$19.99
Comparative Education Research
$259.00
Road Vehicle Automation 2
$169.99
The 5Cs Positive Teacher Interpersonal Behaviors
$159.99
Practical Reasoning in Human Affairs
$169.00
Biologic Therapy of Leukemia
$84.99
Bacterial Growth and Lysis
$169.00
Proceedings of Data Analytics and Management
$249.99
Advances in Polymeric Eco-Composites and Eco-Nanocomposites
$139.00
Diffusion of New Technologies in the Post-Communist World
$109.99
Microdialysis Techniques in Neuroscience
$84.99
Conversations Around Semiotic Engineering
$109.99
Bild Prsenz Symbol
$79.99
Old and New Questions in Physics, Cosmology, Philosophy, and Theoretical Biology
$84.99
Web Intelligence: Research and Development
$84.99
Geophysical Approach to Marine Coastal Ecology
$129.99
Ecological Systems of the Geobiosphere
$39.99
Innledning til produksjonsteorien
$54.99
Mathematical and Computational Modeling of Tonality
$169.99
Den Wechsel im Blick
$27.99
Lee y Aprende: La Biblia (Hardcover)
$11.24
The Political Economy of Innovation Development
$59.99
bungsbuch zur angewandten Wirtschaftsmathematik
$29.99
Neural Information Processing
$99.99
Designing an Efficient Management System
$84.99
The Good War
$54.99
Artificial General Intelligence (AGI) Security
$199.99
Energy, Information, Feedback, Adaptation, and Self-organization
$219.99
Genetic Flux in Plants
$54.99
Das Billionen-Dollar-Unternehmen
$44.99
Management Education in Countries in Transition
$39.99
Qualitt im Bildungs- und Wissenschaftssystem
$49.99
A Glossary of Genetics and Cytogenetics
$74.99
Buddhist Studies in Honour of I.B. Horner
$169.99
Sektenprvention im Unterricht
$49.99
Phonics Chapter Book - Level 1: Fun with Zip and Zap
$6.74
Intersecting Interregionalism
$109.99
Transnational Corporations and Industrial Transformations in Latin America
$44.99
Gruppen mit krperlich Kranken
$69.99
