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
A Concise Introduction to Software Engineering
$49.95
3. Colloquium ber Automatentheorie
$64.99
Mast Cell Biology
$219.99
Moderne Organisationstheorien 2
$49.99
Ad-hoc Networks: Fundamental Properties and Network Topologies
$109.99
Business Ethics and Risk Management
$109.99
Internistische Gastroenterologie
$59.99
Unternehmensberatung und Partizipation
$74.99
Classics in the History of Greek Mathematics
$219.99
Structural Integrity Assessment
$219.99
Missing Data and Small-Area Estimation
$109.99
Thermal Testing of Integrated Circuits
$109.99
Uncertainty and Quality in Science for Policy
$169.99
Taschenbuch zur Untersuchung und Begutachtung von Unfallkrankheiten
$59.99
Building Multiplayer Games in Unity
$54.99
Leah Johnson Books: Rise to the Sun
$8.24
Mitteleuropa in German Thought and Action, 18151945
$54.99
Interventional Ultrasound
$54.99
Moroccan Monarchy and the Islamist Challenge
$39.99
Benchmarking
$44.99
Kleine Handelskunde
$59.99
Stochastic Distribution Control System Design
$109.99
Algorithmic Learning Theory
$54.99
Cellulose Hydrolysis
$54.99
A Modern Course in Aeroelasticity
$219.99
Imaging Practice and Radiation Protection in Pediatric Radiology
$129.00
La Filosofa del Pastel
$5.96
Multicriteria Decision Aid and Resource Management
$179.99
Talent Management
$44.99
Living in a Seasonal World
$219.99
Environmental Technology in the Oil Industry
$109.99
Kursbuch Internet und Politik 2004/2005
$59.99
Responding to Crises in the Modern Infrastructure
$54.99
Fishing, Mobility and Settlerhood
$39.99
Die Fivelgoer Handschrift
$49.99
Mathematical Foundations of Nature-Inspired Algorithms
$64.99
Mediation und Gesundheit
$44.99
Women, Power Relations, and Education in a Transnational World
$84.99
Phytoremediation and Biofortification
$54.99
My Books Summer Grade PreK Fiction 5-Book Pack
$29.95
