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
Animal Ears: 6-Book Set
$21.95
Optionsbewertung und Portfolio-Optimierung
$44.99
Generalized Functions, Convergence Structures, and Their Applications
$39.99
Leitfaden fr die Frsterprfungen
$49.99
Calixarenes in the Nanoworld
$129.00
Die Psychiatrische Klinik der Universitt Mnchen 1904 - 2004
$79.99
Interpretation of Basic and Advanced Urodynamics
$219.99
Fundamentals of Crystals
$219.99
On Orbit and Beyond
$169.99
The Boy Who Failed Dodgeball (Hardcover)
$13.49
Synthesis and Photosynthesis
$39.99
Repetitorium Ansthesiologie
$54.99
Preise in Finanzmrkten
$19.99
Received Medievalisms
$54.99
Drug Targeting
$84.99
Grundeinkommen
$17.99
Felder, Strme und Aerosole in der Unteren Troposphre
$59.99
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
$54.99
Bank- und Sparkassenkaufleute
$69.99
Riot, Unrest and Protest on the Global Stage
$54.99
Environmental Challenges and Greenhouse Gas Control for Fossil Fuel Utilization in the 21st Century
$84.99
Functional Fractional Calculus
$219.99
Fourier Transforms of Invariant Functions on Finite Reductive Lie Algebras
$34.99
Lost Circulation and Wellbore Strengthening
$49.99
Civility and Democratic Education
$54.99
Higher Education Regionalization in Asia Pacific
$39.99
Das Problem des Ich in der Phnomenologie Husserls
$59.99
Positive Polynomials, Convex Integral Polytopes, and a Random Walk Problem
$29.99
Diffusion in Gases, Liquids and Electrolytes
$549.99
Der Status der Unternehmung
$59.99
Ergotherapie bei Demenzerkrankungen
$54.99
D. Martin Luthers Werke 4. Abteilung, Teil 1
$909.00
Computational Intelligence for Privacy and Security
$169.99
Observer-Based Fault Estimation Techniques
$109.99
Handbook of Behavioral Teratology
$39.99
Studien ber Vererbung und Entstehung Geistiger Strungen
$84.99
Ingenium und Individuum
$84.99
Theory of Statistical Experiments
$69.99
Die Praxis des E-Business
$29.99
Recent Mathematical Methods in Dynamic Programming
$29.99
