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-conferenceproceedings of the 9th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full paperspresented were carefully revised and selected from 20 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
Die Messung bildhafter Konsumerlebnisse
$59.99
Differential- und Integralrechnung I
$49.99
Knowledge-Based Control with Application to Robots
$39.99
Resistance Women by Jennifer Chiaverini
$17.99
Handbuch standardisierte Erhebungsverfahren in der Kommunikationswissenschaft
$49.99
The Short Narratives of E. M. Forster
$39.99
Saving Our Planet
$54.99
New Directions in Spiritual Kinship
$119.99
Bioethanol Production
$179.99
Entwicklung von Fhrungsinformationssystemen
$74.99
Der Betriebs-Chemiker
$59.99
Cloud Computing and Security
$39.99
Magnetische Werkstoffe
$59.99
Mobilities and Neighbourhood Belonging in Cities and Suburbs
$39.99
Microbial Strategies for Vegetable Production
$84.99
The Penguin and the Pea
$5.96
Advances in Laser Spectroscopy
$84.99
Innovative Mobile and Internet Services in Ubiquitous Computing
$169.00
Wide-Gap Luminescent Materials: Theory and Applications
$219.99
Bioenergy Research: Commercial Opportunities & Challenges
$219.99
Die Wirksamkeit des Koch'schen Heilmittels gegen Tuberkulose
$69.99
OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging
$54.99
Dem Andenken an Reinhard Dohrn
$29.99
Structural Inequality
$99.00
Innovation in Language Learning and Teaching
$54.99
Computer Vision, Imaging and Computer Graphics Theory and Applications
$109.99
Classical Mechanics
$129.00
Teachware fr Finanzdienstleister
$59.99
Topics in Domination in Graphs
$119.99
Die Macht der digitalen Plattformen
$74.99
Regionale Leistungs- und Krankenhausplanung
$69.99
Secular Solar and Geomagnetic Variations in the Last 10,000 Years
$219.99
High-Resolution Imaging and Spectrometry of Materials
$169.99
Germany and China
$99.99
Aspekte des Innovationsmanagements
$69.99
Der Schutz ffentlichen Vermgens durch 263 StGB
$64.99
Alkoholische Genussmittel
$59.99
Smart Glasses
$49.99
Sheet Metal Forming
$219.99
Introductory Microbiology
$54.99
