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
The Geometry of Domains in Space
$39.99
Laboratory and Field Testing of Unsaturated Soils
$109.99
Giraffes Can't Dance
$5.21
Minimally Invasive Spine Surgery Techniques
$159.00
Trends in Partial Differential Equations of Mathematical Physics
$109.99
Greening Airports
$129.00
Sheet Metal Forming
$219.99
Biopsy Pathology of Muscle
$54.99
Soziale Benachteiligung und Gesundheit bei Kindern und Jugendlichen
$49.99
Gemini 4
$44.99
Bigfoot Wants a Little Brother (Hardcover)
$13.49
Water Resources of Turkey
$139.99
Diagnostic Ultrasound in Dermatology
$169.99
Climate Change and Conservation of Coastal Built Heritage
$119.99
Foundations of BizTalk Server 2006
$39.99
Quality Attributes of Muscle Foods
$129.00
Sensual Faith- The Art of Coming Home to Your Body by Lyvonne Briggs
$17.00
Mechanisms of Secondary Brain Damage in Cerebral Ischemia and Trauma
$39.99
Vieweg Taschenlexikon Technik
$119.99
Advances in Thermochemical Biomass Conversion
$429.00
Alterssportmedizin
$84.99
Retargetable Compilers for Embedded Core Processors
$109.99
Progress in Spatial Analysis
$169.99
Gender Approaches in the Translation Classroom
$139.99
Integrated Management and Biocontrol of Vegetable and Grain Crops Nematodes
$169.00
Handbuch Freizeitsoziologie
$169.99
Lebensbilder von Ingenieurwissenschaftlern
$44.99
Nuclear Medicine in Oncology
$199.99
Aeroelasticity
$54.99
Verification, Model Checking, and Abstract Interpretation
$39.99
Wirtschaftswerbung und die Meinungsfreiheit des Grundgesetzes
$64.99
Diagnosis and Treatment of Genitourinary Malignancies
$219.99
Modern Logic A Survey
$169.00
Recent Advances in Civil Engineering
$279.99
Power, State and Space
$139.99
Die Regeneration von Nerven und Rckenmark
$29.99
W. B. Yeats, 18651939
$54.99
Was wre die Mathematik ohne die Wurzel?
$19.99
Computer Vision ACCV 2024
$139.99
Building University Electronic Educational Environments
$169.00
