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
Die Hrteprfungen nach Brinell, Rockwell, Vickers
$59.99
Social Choice Theory
$54.99
Die Sicherheit tragender Baukonstruktionen
$139.99
Physics-Based Deformable Models
$169.99
Exploring Resources, Life-Balance and Well-Being of Women Who Work in a Global Context
$84.99
Information Science and Applications 2018
$299.99
Das renale Kallikrein-Kinin-System
$69.99
Ecological Studies in the Antarctic Sea Ice Zone
$129.00
Neuroscience for Leadership
$37.99
Stability of the Solar System and Its Minor Natural and Artificial Bodies
$219.99
Drug Delivery to the Central Nervous System
$169.99
Locational Tournaments in the Context of the EU Competitive Environment
$39.99
Lentil
$169.99
10th International Conference on Automated Deduction
$119.00
Next Generation Arithmetic
$64.99
Die Lehre vom Trocknen in graphischer Darstellung
$59.99
Geburtshilfe akut
$29.99
Competitive Advantage of Customer Centricity
$89.99
The Affective Profiles Model
$169.99
Aktuelle Kernfragen in der Psychiatrie
$54.99
Research and Practical Issues of Enterprise Information Systems
$54.99
Political Economy
$84.99
Internationales Steuerrecht
$44.99
Multifunktionale Bro- und Geschftshuser
$64.99
Wechselkursmanagement auf Euro-Basis
$39.99
Computational Fluid Dynamics and the Theory of Fluidization
$199.99
The CNN Effect in Action
$54.99
The Transition from Capitalism
$19.99
Tailored Functional Materials
$169.99
"Der Markt" existiert nicht
$24.99
Technologies for Active Aging
$84.99
From Purchasing to Supply Management
$39.99
Synchronization of EEG Activity in Epilepsies
$39.99
The Future of Indian Banking
$49.99
Sustainable Energy and the Environment: A Clean Technology Approach
$84.99
Data Science Analytics and Applications
$89.99
Chinas Footprint in East Africa
$99.00
Skin Diseases in the Immunocompromised
$169.99
Conflict of International Obligations and State Interests
$54.99
Linguistisches Identity Matching
$9.99
