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
Kalziumantagonisten und zerebrale Erkrankungen
$69.99
Social Robotics
$74.99
New Developments in Engineering Education for Sustainable Development
$109.99
Getriebe und Getriebemodelle
$59.99
Hydraulische Steuerungen
$59.99
Self-Organisation Shapes Travel Behaviours and Social Exclusion in Deprived Urban Neighbourhoods of
$54.99
Building Bridges for Effective Environmental Participation: The Path of Law Co-Creation
$59.99
Desmoid Tumors
$169.99
Industrial Organization
$41.60
Lokale Wissensregime der Migration
$34.99
The Changing Space Economy of City-Regions
$119.99
Feminism and Criminal Justice
$109.99
Multi-Agent System Engineering
$39.99
Shear Wave Elastography of Thyroid Nodules
$89.00
Effective People Management in Africa
$109.99
Experimental and Applied Mechanics, Volume 4
$169.99
The Banks and the Italian Economy
$139.00
Football Management
$79.99
Indigenous Communities and Settler Colonialism
$89.00
Einfhrung in die Verwaltungswissenschaft
$44.99
Syncope
$84.99
Digital Economy. Emerging Technologies and Business Innovation
$54.99
Leading a Board
$39.99
Dimensionality Reducing Expansion of Multivariate Integration
$54.99
Immobilienmanagement in Nonprofit-Organisationen
$59.99
Employment of Persons with Autism
$69.99
Aseptic Processing and Packaging of Particulate Foods
$109.99
The Palgrave Handbook of Literature and Aging
$219.99
Acoustic Metamaterials and Phononic Crystals
$149.00
Pruritus
$89.00
Forschendes Lernen in der Studieneingangsphase
$49.99
Complex Systems Concurrent Engineering
$329.99
Role of GIS in Lifting the Cloud Off Chernobyl
$109.99
An Economic History of Twentieth-Century Latin America
$84.99
Untersuchung der Beeinflussung der Adhsions- und Kohsionsenergie von Klebstoffen
$54.99
Dynamische Meteorologie
$59.99
Pfadfinder-Liederbuch
$44.99
Simple Machines
$3.71
Business Intelligence - Grundlagen und praktische Anwendungen
$29.99
Ultrasonic Cutting / Ultrazvukovoe Rezanie / payooe pee
$54.99
