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
Verified Software. Theories, Tools, and Experiments
Best Price (Coupon Required):
Buy Verified Software. Theories, Tools, and Experiments 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 volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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.
Reviews
Questions & Answers
Colonialism, Transnationalism, and Anarchism in the South of the Mediterranean
$129.99
Incisional Hernia
$84.99
War, Religion and Court Patronage in Habsburg Austria
$39.99
Qualitt im Gesundheitsjournalismus
$59.99
Geometrische Kristallographie und Kristalloptik und deren Arbeitsmethoden
$79.99
Presidential Power Meets the Art of the Deal
$59.99
The Physics of Actinide Compounds
$54.99
Applications and Techniques in Information Security
$54.99
Internationaler Motorenkongress 2019
$109.00
Reducing the MandA Risks
$109.99
Cell and Molecular Biology for Non-Biologists
$84.99
The Eroticizing of HIV
$49.99
Confronting Emerging Zoonoses
$169.99
Chirurgie... in 5 Tagen
$37.99
Classical and Evolutionary Algorithms in the Optimization of Optical Systems
$39.99
Das Elite- Missverstndnis
$44.99
Elementare Aussagenlogik
$59.99
Kundenclubs & More
$54.99
Transient Effects in Simulations of Hybrid Electric Drivetrains
$54.99
Cognitive -Affective Processes
$109.99
Die Notlage der deutschen Kleinbahnen und Privateisenbahnen und Mittel zu ihrer Behebung
$79.99
NS-Zeit und literarische Gegenwart bei Ingeborg Bachmann
$64.99
Short Stay Management of Atrial Fibrillation
$84.99
Biennial Review of Infertility
$169.99
Stochastic SpaceTime Models and Limit Theorems
$54.99
Grundriss Staatliche Finanzpolitik
$34.99
Pakistan and the Geostrategic Environment
$84.99
Indian Pandanaceae - an overview
$84.99
Paris for Two (Hardcover)
$12.74
Space, Time & Deity: The Gifford Lectures at Glasgow 1916-1918, 2 vols
$99.00
Combination Therapy of AIDS
$129.00
Stochastic Differential Equations
$59.99
Practical Google Analytics and Google Tag Manager for Developers
$79.99
Innovative Product Development by Additive Manufacturing 2021
$179.99
Service-Learning in Higher Education
$54.99
Neuzeitliche Automobil-Wertung
$59.99
Polarizable Embedding for the Algebraic-Diagrammatic Construction Scheme
$39.99
Advances in Transport Phenomena
$219.99
Regional Cooperation in South Asia
$169.99
The 2nd EAI International Conference on Automation and Control in Theory and Practice
$219.99
