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
Survey of European Nuclear Policy, 1985-87
$54.99
ko-intelligentes Produzieren und Konsumieren
$49.99
Nutritional Toxicology
$179.99
Mechanisches Verhalten der Werkstoffe
$34.99
Hostage-Taking Terrorism
$39.99
Advances in Intelligent Networking and Collaborative Systems
$279.99
Mobilitt und regionalkonomisches Entwicklungspotenzial
$49.99
Advanced Handbook of Systemic Lupus Erythematosus
$69.99
Theory of Applied Robotics
$84.99
Development of Hedonic Ofce Rent Indices
$84.99
Herstellungsverfahren fr die industrielle Kennzeichnung
$79.99
The Pituitary Gland
$39.99
DNA Computing Based Genetic Algorithm
$169.99
The Music of Dolphins
$6.74
Dynamics of Hierarchical Systems
$39.99
Interactive Technologies and Autism, Second Edition
$49.99
Comprehensive Global Competence for World-Class Universities in China
$109.99
Mesh Generation and Adaptation
$119.00
Geschftsmodellinnovationen als Wettbewerbsvorteil mittelstndischer Unternehmen
$44.99
Hersteller- und Handelsmarken im Kaufentscheidungsprozess
$74.99
Matrix Algebra
$99.00
Kybernetik und Deckungsbeitragsrechnung
$59.99
Studium Generale Quantenphysik
$59.99
Leitfaden der Medizinisch-Klinischen Propdeutik
$59.99
Paradoxes of Integration: Female Migrants in Europe
$159.99
Attracting African States Participation in a Multilateral Investment Court
$159.99
The Wine Bible, 3rd Edition by Karen MacNeil
$39.99
The Norwegian Language in the Digital Age
$54.99
Periodische Enzymaktivierung als Kontrollfaktor multizellulrer Entwicklung. Neuere Ergebnisse zum r
$59.99
Sakulrisierung und Resakralisierung in westlichen Gesellschaften
$59.99
Declarative Agent Languages and Technologies
$54.99
Ambient Intelligence- Software and Applications 7th International Symposium on Ambient Intelligenc
$109.99
Schulungsprogramm Gefahrguttransport
$14.99
Mikronhrstoffe als Motor der Evolution
$69.99
Engineering Mechanics 2: Strength of Materials
$79.99
Spezielle Geobotanik
$69.99
The Janus Fluid
$54.99
The Black and Green Atlantic
$139.99
Outsourcing the Global War on Terrorism
$99.99
Polarization Spectroscopy of Ionized Gases
$109.99
