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
Verwaltung und Verwaltungswissenschaft in Deutschland
$34.99
Progress in Human African Trypanosomiasis, Sleeping Sickness
$54.99
Research & Innovation Forum 2019
$169.99
Advances in Communication and Applications
$249.99
Leitfaden Stochastik
$19.95
Stifter-Handbuch
$99.99
Research in the Wild
$37.99
The International Regulation of Extinction
$54.99
Designing Reliable Distributed Systems
$79.99
Molecular Physics and Hypersonic Flows
$259.00
Angst, Verlust, Trauer und die Frage nach dem Sinn
$17.99
Shrinkage Estimation for Mean and Covariance Matrices
$64.99
Little Miss Stoneybrook.and Dawn (The Baby-Sitters Club #15)
$5.99
Water Management and the Environment: Case Studies
$139.99
Best Value: Early Childhood Grade PreK
$950.00
New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy
$54.99
Tulane University Ring and Operator Theory Year, 1970-1971
$44.99
Sir Francis Galton, FRS
$169.99
Wastewater Treatment, Plant Dynamics and Management in Constructed and Natural Wetlands
$219.99
Security, Privacy, and Applied Cryptography Engineering
$64.99
Frhe Hilfen in der Pdiatrie
$54.99
Essays in Game Theory
$84.99
Die Rntgentherapie in der Dermatologie
$59.99
Literatur in der funktional differenzierten Gesellschaft
$59.99
Biomarkers for Preclinical Alzheimers Disease
$64.99
Aligning Organizations Through Measurement
$39.99
Virginia Woolf's Bloomsbury (2 Volume Pack)
$109.99
ber das Verhltnis von Zahl und Wirklichkeit
$39.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Bank-Entwicklung
$59.99
Households, Work and Economic Change: A Comparative Institutional Perspective
$109.99
Legal Aspects of Autonomous Systems
$199.99
New Frontiers in Artificial Intelligence
$54.99
Analog/Digital Implementation of Fractional Order Chaotic Circuits and Applications
$109.99
Organisation und Verantwortung
$59.99
Logical Foundations of Cyber-Physical Systems
$54.99
Teilkopfarbeiten
$54.99
Magnetic Fields and Star Formation
$169.99
Industrielle Verhandlungen
$69.99
Data Mining and Big Data
$84.99
