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 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Reviews
Questions & Answers
International Conference on Reliable Systems Engineering (ICoRSE) - 2023
$179.99
Power-Aware Computer Systems
$39.99
Women and Prison
$109.00
Schiefheilungen
$69.99
Quick Guide Redemanagement in der Unternehmenskommunikation
$29.99
Aging 2000: Our Health Care Destiny
$84.99
Transforming Teacher Education Through the Epistemic Core of Chemistry
$54.99
Beauty and the Brain
$54.99
A Primer on Electromagnetic Fields
$54.99
Graph Theory for Programmers
$109.99
Multivariate Analysis in Vegetation Research
$219.99
Rationalisierung der Schreibmaschine und ihrer Bedienung
$59.99
ffentlichkeitsrhetorik
$59.99
Arrays, Functional Languages, and Parallel Systems
$129.00
Modeling of Chemical Vapor Deposition of Tungsten Films
$39.99
Extreme Programming and Agile Processes in Software Engineering
$54.99
Words and Graphs
$109.99
Schulverweigerung
$59.99
Challenges to the World Economy
$84.99
Competition in a Consolidating Environment
$109.99
Minimal Surfaces from a Complex Analytic Viewpoint
$139.99
Cloud Computing Technology
$59.99
General Approach to Macroeconomic Policy
$44.99
Central Neurotransmitter Turnover
$54.99
Prekre Arbeit und Zivilgesellschaft
$34.99
Multimedia und Multi-Moderne: Schlsselbilder
$69.99
Technology and Markets for Knowledge
$169.99
Modeling Bilateral International Relations
$54.99
The Wandering Thought of Hannah Arendt
$54.99
ffentliche Meinung und Politik
$59.99
Commutative Harmonic Analysis II
$39.99
The British Insurance Industry Since 1900
$109.99
Genetically Engineered Plants as a Source of Vaccines Against Wide Spread Diseases
$129.00
Physics of p-n Junctions and Semiconductor Devices
$39.99
C/C++ Werkzeugkasten
$74.99
Total Mayhem: Tuesday - The Curse of the Blue Spots
$5.24
Rank in Organizations
$54.99
Environmental Toxicology
$219.99
The Hope of the Country with a Population
$109.99
Hong Kong 20 Years after the Handover
$199.99
