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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Reviews
Questions & Answers
International Handbook of Cooperative Law
$169.00
Ten Years of Progress in GW/P Body Research
$129.00
Computer-Assisted and Robotic Endoscopy
$44.99
Cell to Cell Signals in Plants and Animals
$84.99
Water, State and the City
$54.99
Harn- und Geschlechtsapparat
$44.99
Metallography in Archaeology and Art
$119.00
Methods of Nonlinear Analysis
$69.99
The Tropical Rain Forest
$74.99
Red Dwarfs
$169.99
Excel + VBA in der Stochastik
$29.99
Verwirklicht, entwickelt, diffus
$54.99
Migration and Religion
$22.99
Community Resilience und ethnische Diversitt
$64.99
Photochemistry
$99.99
Scrum for Sales
$64.99
Vorkurs Physik
$44.99
Energy Transformations in Living Matter
$109.99
Unternehmerische Ernhrungskommunikation und -verantwortung
$59.99
Women in Analysis and PDE
$249.99
A Programmer's Introduction to C#
$29.99
Pricing Praxis der optimalen Preisfindung
$64.99
Re-Politicising International Investment Law in Latin America through the Duty to Regulate Paradigm
$169.99
Die Unfall- und Gesundheitsgefahren in der Steinkohlenteerdestillation nebst einigen Vorschlgen zu
$59.99
Proceedings of the Sixth International Symposium on Dielectric Materials and Applications (ISyDMA6)
$169.99
Recent Advances in Data and Algorithms for e-Government
$179.99
Software Engineering Research and Applications
$54.99
The Classic Jane Austen Collection: 6-Volume Box Set Edition by Jane Austen
$39.99
Scheduling in Distributed Computing Systems
$169.99
Advancement of Science and Technology
$179.99
Private-Banking-Angebote regionaler Genossenschaftsbanken
$37.99
Handbook of Autopsy Practice
$249.99
Rectenna: Wireless Energy Harvesting System
$139.99
Maple V Language Reference Manual
$74.99
Fundamentals of the Theory of Groups
$84.99
Modernism and the Practice of Proletarian Literature
$39.99
Borders Revisited
$69.99
Telekommunikation und multimediale Anwendungen der Informatik
$69.99
Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung
$69.99
Cryopreservation and Freeze-Drying Protocols
$169.99
