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
Kinder- und jugendpsychiatrische Pharmakotherapie in Klinik und Praxis
$69.99
Proceedings of the 21st International Meshing Roundtable
$219.99
Educational Partnerships and the State: The Paradoxes of Governing Schools, Children, and Families
$39.99
Handbuch Innovative Lehre
$84.99
Testing Software and Systems
$54.99
The Erotics of Passage
$54.99
Zwischen Palaver und Diskurs
$59.99
Edith Steins philosophische Entwicklung
$64.99
Concepts and Results in Chaotic Dynamics: A Short Course
$54.99
The Life and Works of J. C. Kapteyn
$109.99
Zahnradtechnik Stirnrad- Evolventenverzahnungen
$399.99
Ecological Genetics and Air Pollution
$39.99
State of the Art des Business Process Redesign
$69.99
Pauper Voices, Public Opinion and Workhouse Reform in Mid-Victorian England
$44.99
Theory of Fermi-liquids in Metals
$22.99
Formalization of Banking Supervision
$59.99
Pragmatic Aspects of Human Communication
$109.99
Executing Magic in the Modern Era
$31.00
Everless (Everless Series #1) by Sara Holland
$11.99
Regelungstechnik
$39.99
Advances in Cryptology - CRYPTO '99
$39.99
Women in Lebanon
$39.99
Mit dem Leben Schritt halten
$74.99
The Changing University
$109.99
Frequency Conversion of Ultrashort Pulses in Extended Laser-Produced Plasmas
$109.99
Patientensicherheit, Arzthaftung, Praxis- und Krankenhausorganisation
$69.99
Myriad-minded Shakespeare
$52.00
Projektive Ebenen
$69.99
Artificial Intelligence in Economics and Managment
$84.99
Reimagining Democracy
$84.99
D. H. Lawrence in the Modern World
$109.99
Constructions of Strict Lyapunov Functions
$199.99
Computer Vision-Guided Virtual Craniofacial Surgery
$84.99
The Problem of Integrable Discretization
$84.99
Cooperation in Wireless Networks: Principles and Applications
$169.99
Creating Social Cohesion in an Interdependent World
$54.99
The Limits of Consent
$59.99
Introduction to Gravitational Lensing
$64.99
Ventilator-Associated Pneumonia
$129.00
Naturalizing Epistemology
$54.99
