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
Tests and Proofs
Best Price (Coupon Required):
Buy Tests and Proofs 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 book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
Reviews
Questions & Answers
Obesity and Fertility
$84.99
Limnology and Aquatic Birds
$169.99
Polish River Basins and Lakes Part I
$259.00
We're Going on a Gingerbread Hunt
$5.99
Steuerrecht
$49.99
Banana: Genomics and Transgenic Approaches for Genetic Improvement
$169.99
The Wheat Rusts Breeding for Resistance
$84.99
Cryptology and Network Security with Machine Learning
$249.99
Pediatric Nephrology in the ICU
$169.99
Rate Adaptive Cardiac Pacing
$169.99
Full-Scale Field Tests of Different Types of Piles
$119.00
River Systems of West Bengal
$139.99
International Perspectives on Teacher Knowledge, Beliefs and Opportunities to Learn
$109.99
Programming Concepts and Methods PROCOMET 98
$169.00
With String Theory to the Big Bang
$17.99
The Future of Mobile Communications
$109.99
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers
$44.99
Dangerous Materials: Control, Risk Prevention and Crisis Management
$169.99
Handbook of Ceramic Composites
$449.99
Mathematical Technology of Networks
$109.99
The Legacy of the Italian Resistance
$54.99
Natural Gas Hydrate
$54.99
Translational Neuroscience of Speech and Language Disorders
$109.99
Biopsy pathology of muscle
$129.00
Marginal(ized) Prospects through Biblical Ritual and Law
$99.99
Blake 2.0
$84.99
Enterprise Architecture at Work
$54.99
Einfache Sprache in Zeiten des Wandels
$17.99
Moderne Arbeitsmethoden im Maschinenbau
$44.99
Eutrophication in Planktonic Ecosystems: Food Web Dynamics and Elemental Cycling
$169.99
Brave New Brain
$19.99
Schadenversicherungsmathematik
$39.99
Numerical Analysis and Its Applications
$84.99
E-maintenance
$169.99
Borderless Knowledge
$84.99
Plattenbausanierung
$39.99
The Mighty Miss Malone
$6.71
From Science to Society
$169.99
Part 2: Non-ferrous Alloys - Light Metals
$549.99
Building Climate Resilience through Virtual Water and Nexus Thinking in the Southern African Develop
$39.99
