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
Implementierung integrierter Managementsysteme
$64.99
Sensitivity to Change
$219.99
Numerical Methods for PDEs
$109.99
Konturantastende und optoelektronische Koordinatenmegerte fr den industriellen Einsatz
$69.99
Reprogramming the Brain
$24.99
The Radical Choice and Moral Theory
$84.99
Advanced Metaprogramming in Classic C++
$89.99
Solutions to Exercises in Intermediate Statistical Methods
$54.99
Fuballvereine am Kapitalmarkt
$17.99
Die Vulva und ihre Erkrankungen, Lage- und Bewegungsanomalien des weiblichen Genitalapparates
$59.99
The Rivers of Montenegro
$449.99
Basic Topology 2
$54.99
Energy Minimization Methods in Computer Vision and Pattern Recognition
$54.99
Architectural Tourism
$39.99
Mouse Models for Drug Discovery
$84.99
The New Class in Post-Industrial Society
$39.99
Political Parties in New Democracies
$109.99
Inclusive Access and Open Educational Resources E-text Programs in Higher Education
$109.99
Nonlinear Economic Dynamics and Financial Modelling
$109.99
Para Selena, Con Amor by Chris Perez
$19.00
Selected papers on Renaissance philosophy and on Thomas Hobbes
$109.99
China's Path to Development
$109.99
Aspects of Signal Processing
$219.99
Educational Data Mining
$169.99
Constrained Extrema Introduction to the Differentiable Case with Economic Applications
$54.99
Gendered Stereotypes and Female Entrepreneurship in Southern Europe, 1700-1900
$129.99
Digital Design and Manufacturing of Medical Devices and Systems
$149.00
Grundri des Handelsbriefverkehrs
$59.99
Flow boiling and condensation in microscale channels
$169.99
Advances in Sustainable and Environmental Hydrology, Hydrogeology, Hydrochemistry and Water Resource
$129.00
Pregnant in the Time of Ebola
$159.99
Handbuch der Mess- und Automatisierungstechnik in der Produktion
$169.99
Animal Stories: The Scruffy Puppy
$3.71
Sectoral Analysis of Trade, Investment and Business in Vietnam
$39.99
The Soviet Legacy in Central Asia
$109.99
Advances in Neural Networks - ISNN 2004
$109.99
Panic Buying
$54.99
Spontaneous Order and the Utopian Collective
$84.99
Reclaiming Liberty
$54.99
Solved Problems in Lagrangian and Hamiltonian Mechanics
$109.99
