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 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 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
Liquid Chromatography in Clinical Analysis
$129.00
Physics of Semiconductor Devices
$329.99
Towards A Common Future
$139.99
The Do-Over
$5.99
Identitt und Alteritt in den drei Nachfolgegesellschaften des NS-Staats
$59.99
Bound for Home (Hardcover)
$13.49
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
$59.99
The Ganges
$84.99
Handbuch Elektrofilter
$29.99
Biology and Treatment of Leukemia and Bone Marrow Neoplasms
$159.99
Tragwerke 3
$59.99
Recent Developments in the Theory of Industrial Organization
$84.99
Die industrielle Keramik
$84.99
Autonome Shuttlebusse im PNV
$54.99
Kumulationszins, Zinshysterese und dynamische Zinsverrechnung
$59.99
Amerikastudien / American Studies
$59.99
Progress in Cryptology LATINCRYPT 2017
$74.99
Das Geheimnis des krzesten Weges
$39.99
Requirements Engineering for Internet of Things
$54.99
Coordination, Organizations, Institutions, and Norms in Agent Systems VI
$39.99
Aus Nachgelassenen und Kleineren Verstreuten Schriften
$59.99
Advanced Guide to Python 3 Programming
$49.99
An African Path to Disability Justice
$139.99
Exploring Innovation in a Digital World
$129.00
Einstieg in die Astroteilchenphysik
$69.99
Ramona the Pest
$5.96
CT Evaluation of Coronary Artery Disease
$89.00
Einfhrung in die Anwendung des Betriebssystems Apple DOS (Apple II)
$59.99
Jane Austen's Business
$109.99
Redefining the Bonds of Commonwealth, 1939-1948
$109.99
Umweltschutzinvestitionen im Verarbeitenden Gewerbe
$59.99
Diagnose-Schock: Krebs
$24.99
Praxishandbuch Projektmanagement
$59.99
Strategiekonzepte fr Biotechnologie-Unternehmen
$74.99
Remembering the Falklands War
$99.99
The Physiology of the Lower Urinary Tract
$54.99
Web Information Systems Engineering WISE 2015
$54.99
Innovations in Electrical and Electronic Engineering
$299.99
Treatment Interventions in Human Sexuality
$39.99
So gelingt digitale Transformation!
$14.99
