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
A Digital Signal Processor for Particle Detectors
$139.00
Molecular-Genetic Mechanisms of Development
$39.99
Hematopoietic Stem Cells
$89.00
The Application of the Controllability Principle and Managers Responses
$39.99
Tumor Dormancy, Quiescence, and Senescence, Vol. 3
$109.99
Gravitational Waves
$37.99
Receiving Generational Blessings from the Courts of Heaven- Cancel Bloodline Curses and Establish an Inheritance of Blessing by Robert Henderson
$19.99
Architectural Interior Lighting
$89.00
Recent Asian Research on Thermal and Fluid Sciences
$169.99
Stoffwechselfermente
$59.99
Engines of Economic Prosperity
$149.00
International Auditing
$109.99
Contemporary Publics
$99.00
A Geometry of Approximation
$259.00
Theory and Models for Cyber Situation Awareness
$59.99
Signal Transduction: Pathways, Mechanisms and Diseases
$219.99
Role of Folliculo-luteal Function in Human Reproduction
$109.99
Prions and Diseases
$299.99
Film Literacy im Englischunterricht
$89.99
Verhandeln als Kommunikationskompetenz
$17.99
Exercises in Analysis
$84.99
Race and White Identity in Southern Fiction
$54.99
Alleviating Poverty through Business Strategy
$39.99
Handbook of Social Support and the Family
$219.99
kologie und Technik
$69.99
Festigkeitslehre
$74.99
Grundkurs Physik Band 2: Mechanik
$49.99
Biochemical Mechanisms in Heart Function
$329.99
New Frontiers in Applied Data Mining
$54.99
Regionale Clusterfelder fr Erneuerbare Energien
$29.99
Plants and Heavy Metals
$39.99
Computational Science and Its Applications ICCSA 2024 Workshops
$119.99
Grundlagen der Massage und physikalischen Therapie
$69.99
Gastrointestinal Motility
$54.99
Interdisziplinre Meinungsfhrerforschung
$49.99
Die Evolution der menschlichen Geburt
$59.99
Parallel Processing and Applied Mathematics
$54.99
NGOs and the Millennium Development Goals
$54.99
Crushed
$4.49
Existential Concerns and Cognitive-Behavioral Procedures
$99.00
