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
News in the Regions
$54.99
Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$
$29.99
The Public Sector R&D Enterprise: A New Approach to Portfolio Valuation
$54.99
Choices
$5.56
Evolutionary Web Development
$63.95
Contemporary Trends and Challenges in Finance
$149.00
Geostatistics for Natural Resources Characterization
$54.99
Chinese Lexical Semantics
$89.99
British Aestheticism and the Urban Working Classes, 1870-1900
$54.99
Physiologische Anleitung zu einer zweckmigen Ernhrung
$59.99
Ambulante Pflege von A bis Z
$64.99
Grobetrieblicher Dienstleistungssektor in den neuen Bundeslndern
$59.99
Isoscapes
$199.99
Biomechanics in Medicine and Biology
$129.00
Aufgaben der Materialwirtschaft
$69.99
Elektro-Fachkunde 2
$49.99
Umsetzungsmanagement
$79.99
Computational Fluid Dynamics 2008
$349.00
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis
$39.99
Exploring Omnichannel Retailing
$129.00
Mutual Funds
$129.00
Social Transformation Digital Way
$109.99
Frankreichs Europapolitik
$59.99
Bacteria in Agrobiology: Disease Management
$169.99
A Sidney Chronology
$109.99
Resistance Behavior to National eHealth Implementation Programs
$54.99
A Friendly Guide to Wavelets
$64.99
Building a Modern Japan
$39.99
Die vorlufige Qualifizierung
$59.99
Rediscovering Competition
$59.99
Thea Stilton and the Treasure Seekers #3: The Legend of the Maze (Hardcover)
$11.99
Power and Resistance in Prison
$109.99
Liquid Metal Magnetohydrodynamics
$109.99
Harnessing Place Branding through Cultural Entrepreneurship
$119.99
Sozialismus und Soziologie
$64.99
Algebraic Approaches to Partial Differential Equations
$109.99
Agenda-Cutting
$54.99
Regionale Erfassung der Tonsteine des rheinisch-westflischen Steinkohlengebirges und Versuch ihrer
$59.99
Stability of Time-Delay Systems
$89.00
Multi-Objective Optimization in Physical Synthesis of Integrated Circuits
$109.99
