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:
Buy Software Verification for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Musiksoziologie in der Bundesrepublik Deutschland
$39.99
Interpersonale Kommunikation und Medienwirkungen
$59.99
Handbook of Complex Occupational Disability Claims
$169.99
Space Observatories
$54.99
Sozialdemokratie und Verfassungsverstndnis
$59.99
Multifunctional Land Use
$169.99
Italians in Australia
$49.99
The Path of Thorns by A.g. Slatter
$16.99
The Theory of Classical Valuations
$84.99
Jugend, Gesundheit und Identitt
$64.99
International Human Resource and Cross Cultural Management
$54.99
Astrophotography
$84.99
Industrial Uses of Starch and its Derivatives
$219.99
Macromolecular Complexes in Chemistry and Biology
$109.99
Modern Uses of Multiple-Valued Logic
$169.99
Professionelle Unterrichtswahrnehmung im sozialwissenschaftlichen Fachunterricht
$49.99
Make Change Your Family Business Tradition
$23.00
European Drug Policies and Enforcement
$169.99
Relativistische Thermodynamik
$59.99
Language and Dialect Death
$129.99
The Unofficial Hogwarts Cocktail Book: Spellbinding Spritzes, Fantastical Old Fashioneds, Magical Margaritas, and More Enchanting Recipes by Bertha Ba
$19.95
Die Schachtfrdermaschinen
$59.99
Equibalancedistribution (Eqbl) in the analysis of earthquake data
$39.99
Conifer Reproductive Biology
$39.99
Stochastic Integrals
$69.99
Complication Management In The Cardiac Catheter Laboratory
$89.99
Living Off the Land in Space
$37.99
Blockchain Technology and Application
$69.99
Utopia and Dystopia in Postwar Italian Literature
$99.99
Klimazeugnisse der Erdgeschichte
$44.99
Computational Science and Its Applications ICCSA 2023
$89.00
Hate and the Jewish Science
$39.99
How Science Works: Evolution
$39.99
Electronic Government
$84.99
ber die Strafbarkeit von Whistleblowing
$99.99
Microbial Environmental Genomics (MEG)
$249.99
Intelligent Computing
$219.99
Advancement of Optical Methods & Digital Image Correlation in Experimental Mechanics
$129.00
History of Modern Biotechnology II
$39.99
An Introduction to Marine Science
$39.99
