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 proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Reviews
Questions & Answers
Proceedings of 2013 World Agricultural Outlook Conference
$109.99
Research Trends in Mathematics Teacher Education
$84.99
Pitch Determination of Speech Signals
$84.99
Preventive Mental Health at School
$79.99
Bureaucrats and Bourgeois Society
$39.99
Plant Long Non-Coding RNAs
$169.99
Wireless Personal Communications
$109.99
Computer Analysis of Images and Patterns
$54.99
Hearing and Hormones
$109.99
Health and Sickness in the Early American Novel
$54.99
Workshops on Business Informatics Research
$69.99
Practice of Bayesian Probability Theory in Geotechnical Engineering
$169.99
The Prokaryotes
$449.99
Brgschaft des inneren Friedens
$64.99
Blended Learning: Re-thinking and Re-defining the Learning Process
$79.99
Maxwell, Sutton, and the Birth of Color Photography
$54.99
Focus on Extrapyramidal Dysfunction
$109.99
Scholastic Reader! Level 2-Pet Charms: Here, Kitty, Kitty
$4.46
Error Reduction and Prevention in Surgical Pathology
$79.99
Female Founders in der Games- und Medienbranche
$24.99
Kultur in der Stadt
$59.99
Clinical Applications of Cytokines and Growth Factors
$169.99
Mathematics and Culture II
$109.99
Nutzenmessung im Gesundheitswesen
$74.99
National Security under the Obama Administration
$39.99
Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)
$169.99
Intercultural Collaboration
$39.99
Reconstruction of Macroscopic Maxwell Equations
$109.00
Mathematical Finance
$129.00
The Therapeutic Use of Ayahuasca
$169.99
Innovation Management and Corporate Social Responsibility
$179.99
Computational Science and Its Applications ICCSA 2023 Workshops
$89.99
Graphics Recognition. Ten Years Review and Future Perspectives
$54.99
Prokaryotic Chaperonins
$84.99
Profiles in Operations Research
$89.00
Praxiswissen der chemischen Verfahrenstechnik
$179.00
Economic Modelling in the OECD Countries
$39.99
Parent-Child Interaction Therapy
$139.00
Population Dynamics in Contemporary South Asia
$169.99
Out of the spiral of conflict
$19.99
