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
Optimal Control
$39.99
Network, Smart and Open
$109.99
Three-Dimensional Modeling with Geoscientific Information Systems
$39.99
Web Information Systems and Applications
$99.99
Paraphrase Grammars
$84.99
Proceedings of the FISITA 2012 World Automotive Congress
$219.99
Privacy im Internet
$44.99
Marine Fish Culture
$449.99
Mathematical Models of Distribution Channels
$169.00
Janusz Korczaks 'schpferisches Nichtwissen' vom Kind
$64.99
Taiwan Cinema, Memory, and Modernity
$99.99
Die Adsorption
$59.99
Theory of Concrete-Filled Steel Tubular Structures
$109.99
Environmental Simulation Chambers: Application to Atmospheric Chemical Processes
$299.00
Simulation of the Noise Transmission through Automotive Door Seals
$54.99
Countdown
$7.49
Thinking Through Digital Media
$119.99
Teacher Education Evaluation
$84.99
Political Theatre in Post-Thatcher Britain
$54.99
Integrity and Internal Control in Information Systems V
$109.99
Econometric Analysis of Panel Data
$54.99
Security and Cryptography for Networks
$54.99
Lundberg Approximations for Compound Distributions with Insurance Applications
$54.99
The Crustacean Stomatogastric System
$84.99
Ubiquitination in Immune System and Immune Response
$249.99
Die Geburt der Eltern
$39.99
Nutrient Acquisition by Plants
$169.00
Electroporation Methods in Neuroscience
$84.99
Studien zur wirtschaftlichen Verfahrensforschung (Operations Research)
$59.99
Proceedings of the 2nd International Conference on Geosynthetics and Environmental Engineering
$299.99
Aufgabensammlung Fertigungstechnik
$29.99
Security and Trust Management
$39.99
The Little Old Lady Who Was Not Afraid of Anything
$4.46
Trittbrettfahrerverhalten im Team
$69.99
Radicals in Synthesis I
$169.00
Lie Groups, Lie Algebras, and Representations
$79.99
Breaking Up the Euro
$39.99
Annales Bryologici
$54.99
Kundenzufriedenheit durch Kernkompetenzen
$59.99
Psychosocial Pathways Towards Reinventing the South African University
$109.99
