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
High-Power Laser Radiation in Atmospheric Aerosols
$129.00
Intestinal Microorganisms of Termites and Other Invertebrates
$259.00
Esterases, Lipases, and Phospholipases
$219.99
Lessons in System Safety
$54.99
Nanophotonics in Biomedical Engineering
$109.99
Advances in Geoinformatics
$169.99
10. Kongre der Deutschsprachigen Gesellschaft fr Intraokularlinsen-Implantation und refraktive Chi
$44.99
Global Tobacco Control
$109.99
Inflation in Tudor and Early Stuart England
$54.99
Head and Neck Cancer
$169.00
Arbeitsbuch Hhere Mathematik in Rezepten
$39.99
Advanced Remote Sensing for Urban and Landscape Ecology
$169.00
Moritz Schlick Philosophical Papers
$169.99
Advances in Computational Intelligence
$39.99
The Plant Viruses
$169.99
Flows on 2-dimensional Manifolds
$39.99
Prozessgestaltung zum Einsatz digitaler Fabrikgesamtmodelle
$59.99
Kommunikation von (Nicht-)Wissen
$59.99
History of Modern Biotechnology II
$39.99
Barnett's Fairytale Trilogy: Los tres chivitos Gruff
$6.74
ISO 9000-3
$39.99
Praxis Grounded Theory
$39.99
Custom SharePoint Solutions with HTML and JavaScript
$59.99
Soft Computing and its Applications in Business and Economics
$169.99
Peppa Pig: Peppa's Valentine's Day
$3.74
C. Henry Kempe: A 50 Year Legacy to the Field of Child Abuse and Neglect
$109.99
Eugen Enderlen 18631963
$59.99
Geometric, Control and Numerical Aspects of Nonholonomic Systems
$39.99
The Semantic Web ISWC 2019
$69.99
Hero: Hero
$6.71
A George Eliot Companion
$109.99
Distributed, Ambient and Pervasive Interactions
$79.99
From Observations to Self-Consistent Modelling of the ISM in Galaxies
$84.99
The Political Rhetoric and Oratory of Margaret Thatcher
$139.99
Continuum Mechanics of Anisotropic Materials
$54.99
IT-Organisation in der digitalen Transformation
$17.99
Advances In The History Of Mathematics Education
$179.99
Computational Methods for Representations of Groups and Algebras
$39.99
Evolvable Components
$54.99
Beyond Networks
$54.99
