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
Die Groe Erneuerung
$49.99
Computational Intelligence and Bioinformatics
$109.99
Katherine Mansfield and the Art of the Short Story
$70.00
Light Weighting for Defense, Aerospace, and Transportation
$109.99
Lymph Node Cytopathology
$159.99
Musikgeschichte der Hohenlohischen Residenzstadt Kirchberg
$59.99
Cognitive Aspects of Bilingualism
$109.99
Law and Reflexive Politics
$219.99
Physics of Biological Oscillators
$129.99
Diabetic Nephropathy
$39.99
Post-Intensive Care Syndrome
$89.99
Bourdieu and Marx
$84.99
Biomedical Engineering Systems and Technologies
$54.99
NeuronGlia Interrelations During Phylogeny
$219.99
IgE Receptor (FcRI) Function in Mast Cells and Basophils
$84.99
Die Operative Beseitigung der Bauchbrche. Die Eingriffe an den Weiblichen Geschlechtsorganen
$74.99
Managing Supply Chain Risk and Vulnerability
$129.00
Computer Vision -- ECCV 2014
$54.99
Diagnostic Tests in Neurology
$54.99
Abdominal Imaging. Computational and Clinical Applications
$39.99
Advances in Crystal Growth Inhibition Technologies
$84.99
Graphen- und Netzwerkoptimierung
$29.99
Trauma, Ethics and the Political Beyond PTSD
$99.99
Self-Stabilizing Systems
$54.99
The Scale Structure of the Universe
$109.99
Towards Sustainable Cities in Asia and the Middle East
$109.99
Arrhythmia Induction in the EP Lab
$84.99
Suee and the Shadow
$9.74
The Nested Universal Relation Database Model
$39.99
Quadratic and Hermitian Forms
$119.00
Universittskolloquien zur Schizophrenie
$39.99
The History of Fatherhood in Norway, 18502012
$39.99
The Political Economy of Industry Organizations and Mercosur's North-South Trade Negotiations
$119.99
CAD Based Programming for Sensory Robots
$84.99
Arithmetic Geometry of Logarithmic Pairs and Hyperbolicity of Moduli Spaces
$79.99
Operational Research in Agriculture and Tourism
$109.99
Ground States of the Two-Dimensional Electron System at Half-Filling under Hydrostatic Pressure
$84.99
Andreev Reflection in Superconducting Junctions
$69.99
Das Fhrungsteam
$69.99
NF- und HF-Messtechnik
$39.99
