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
Experimental Cholestasis Research
$169.99
John Venn: Unpublished Writings and Selected Correspondence
$139.99
Schaltnetzteile und ihre Peripherie
$99.00
Advances in Simulation and Process Modelling
$54.99
All Through My Town
$5.21
Pragmatic Logic
$29.99
Friseurfachrechnen
$44.99
Evidenzbasierte Viszeralchirurgie maligner Erkrankungen
$74.99
Decolonizing African Studies Pedagogies
$84.99
Reconceptualizing Connections between Language, Literacy and Learning
$169.99
Intergenerational Mobility
$34.99
The Practice of Enterprise Modeling
$54.99
Handels- und Gesellschaftsrecht fr Betriebswirte
$69.99
Corporate Responsibility, Sustainability and Markets
$139.99
Laser Processing and Chemistry
$74.99
Drucklufterkrankungen
$44.99
Regul ad Directionem IngenII
$109.99
ECOOP 2014 -- Object-Oriented Programming
$54.99
Mathematical and Statistical Approaches for Anaerobic Digestion Feedstock Optimization
$39.99
PBL in Engineering Education
$39.99
Gymnastik in der Grundschule
$54.99
Visualization and Imputation of Missing Values
$179.99
Rechtsweggarantie im vergleichenden Verwaltungsrecht
$109.00
Multiperspektivische Verbraucherforschung
$29.99
Computergesttzte Produktionsplanung
$59.99
Single-Cell Protein Analysis
$199.99
Elfriede Jelinek
$17.99
Leading Organizations of the Future
$99.00
Purity and Pollution
$84.99
Dynamics, Bifurcations and Control
$129.00
Altern mit Zukunft
$64.99
The British Army, the Gurkhas and Cold War Strategy in the Far East, 19471954
$84.99
The Gestalt Shift in Conan Doyle's Sherlock Holmes Stories
$49.99
EJB Reviews 1996
$54.99
Fuballjournalismus
$64.99
Management and Practice in Emergency Nursing
$54.99
The State and Society of China
$54.99
Introducing Fortran 95
$54.99
Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II
$59.99
Asian Cultural Flows
$139.99
