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 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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
Supply Chain Resilience
$149.00
Messen und Wgen
$59.99
Konvexe Analysis
$59.99
Advances in Jet Substructure at the LHC
$179.99
Jervis's Insects as Natural Enemies: Practical Perspectives
$249.99
Einfhrung in die Kreislaufwirtschaft
$59.99
Frontier Computing
$449.99
Kansei Engineering and Emotion Research
$79.99
Brazilian Sandy Beaches
$169.99
Soziale Handlungsfelder
$44.99
Data Stream Mining & Processing
$109.99
Rhythmusstrungen des Herzens
$59.99
Algebra
$49.99
Chinas Population Aging and the Risk of Middle-income Trap
$109.99
Present Status and Aims of Quantum Electrodynamics
$39.99
Transactions on Computational Science XII
$39.99
Engineering Problems for Undergraduate Students
$54.99
Whole-Body Regeneration
$59.99
Accurate and Robust Spectral Testing with Relaxed Instrumentation Requirements
$84.99
Frontiers in Biomechanics
$84.99
Handbook of Clinical Nutrition and Aging
$74.99
46. Jahrestagung der Deutschen Gesellschaft fr Unfallheilkunde e.V
$69.99
The New Materialism
$54.99
Cytoskeleton and Human Disease
$169.99
Properties of Fresh and Hardened Concrete Containing Supplementary Cementitious Materials
$169.00
Psychophysical, Physiological and Behavioural Studies in Hearing
$54.99
Healthcare Information Privacy and Security
$59.99
Business Standard Compliance and Requirements Validation Using Goal Models
$109.99
The CalabiYau Landscape
$54.99
Insect Hearing and Acoustic Communication
$189.00
Engineering Multi-Agent Systems
$54.99
Professionalisierung der Medienaufsicht
$39.99
Vorschriften und Richtlinien fr den Praktiker und Vertrauensarzt
$59.99
Somewhere Among
$8.21
Umwandlungssteuerrecht
$37.99
Wired/Wireless Internet Communications
$39.99
Advances in Production Management Systems. Smart Manufacturing and Logistics Systems: Turning Ideas
$89.00
Radiological Functional Analysis of the Vascular System
$109.99
Artificial Intelligence for Biology and Agriculture
$169.99
Models and Methods in Economics and Management Science
$84.99
