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:
Buy Tests and Proofs for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.
Reviews
Questions & Answers
Framing Big Data
$39.99
Philosophy: Key Themes
$54.99
Beginning Java 8 APIs, Extensions and Libraries
$44.99
Ambient Literature
$119.99
Queer Masculinities, 1550-1800
$54.99
Feedback Control Theory for Engineers
$74.99
Entrepreneurship in the Fourth Sector
$199.99
Alma's Way: Alma Speaks Up / Alma habla
$4.49
Pkw-Klimatisierung
$89.99
Building Societies in the Financial Services Industry
$54.99
Crossborder Care
$84.99
Intensivtherapie
$69.99
Intelligence in the Era of Big Data
$54.99
Technological Progress, Inequality and Entrepreneurship
$39.99
Nichtwestliches politisches Denken
$64.99
Languages and Compilers for Parallel Computing
$39.99
Affine, Vertex and W-algebras
$109.99
The Shape of Space: Food Preparation Spaces
$109.99
Supply Chain Network Management
$69.99
Natural Language Processing and Chinese Computing
$89.00
Headlines from the Holy Land
$34.99
Wissen und Methode: Grundlagen der verstehenden Organisationswissenschaft
$59.99
Disasterland
$54.99
Copper and Zinc in Inflammation
$109.99
Einfhrung in die deutsche Literatur des 12. bis 16. Jahrhunderts
$39.99
The Power of the Terroir: the Case Study of Prosecco Wine
$249.99
Media and Communication Theory in Africa
$159.99
Smart Energy for Smart Transport
$299.00
Maximum Entropy and Bayesian Methods
$129.00
As Pastoralists Settle
$119.00
Molecular & Diagnostic Imaging in Prostate Cancer
$109.99
konomische Analyse der EU-Emissionshandelsrichtlinie
$69.99
Language Policy and Linguistic Justice
$249.99
Reliable Software Technologies - Ada-Europe 2007
$39.99
Wavelets, Approximation, and Statistical Applications
$129.99
Las Matemticas Cuentan Grades PreK-2
$25.00
Solving Problems in Scientific Computing Using Maple and Matlab
$74.99
Demokratie-Monitoring Baden-Wrttemberg 2016/2017
$44.99
Zentraleuropischer Anaesthesiekongre
$69.99
THz Communications
$79.99
