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
Cosmopolitanism and the Middle Ages
$54.99
The Many Facets of Israel's Hydrogeology
$119.00
Class 1 Oxidoreductases VI
$329.99
Ocular Shape Regulation During Development
$109.99
Abwasserreinigungsanlagen
$59.99
Affectivity and Philosophy after Spinoza and Nietzsche
$109.99
Gender, Labour, War and Empire
$54.99
The US Pivot and Indian Foreign Policy
$39.99
Bankbetriebslehre
$59.99
Nested Relations and Complex Objects in Databases
$39.99
Investigations on Signal Transduction Processes Utilizing Chemical Probes
$119.00
Einfhrung in die Arbeitstechniken der Politikwissenschaft
$59.99
Advances in Gear Theory and Gear Cutting Tool Design
$219.00
The Critical Writings of Katherine Mansfield
$54.99
Banana Ripening
$54.99
Twistors and Particles
$39.99
Algebra of Conscience
$39.99
Regulatory Peptides and Cognate Receptors
$169.00
What Is Money?: Bartering, Cash, Cryptocurrency. And Much More! (A True Book: Money)
$5.99
Ftterungsversuch an Ziegen mit Ammoniumacetat, Harnstoff und Hornmehl als Eiweiersatz
$44.99
Game Theory
$329.99
Das andere Basel
$59.99
Nucleic Acids in Immunology
$129.00
Clinical Guide to Toilet Training Children
$109.00
Taxation, Growth and Fiscal Institutions
$49.95
Agile Processes in Software Engineering and Extreme Programming
$54.99
Sanctions as Economic Statecraft
$129.00
Die Bedingungen ruhigen Laufs von Drehgestellwagen fr Schnellzge
$59.99
Mobile Endgerte im Unternehmen
$17.99
Agent-Based Computer Simulation of Dichotomous Economic Growth
$169.99
Schwache Rechnerinnen und Rechner frdern
$59.99
Physics and Contemporary Needs
$39.99
Nonlinear Problems in Mathematical Physics and Related Topics I
$109.99
Innovations in Stress and Health
$54.99
Allgemeine Betriebswirtschaftslehre
$64.99
Rethinking Popper
$169.00
Integration of Medical and Dental Care and Patient Data
$69.99
Proceedings of the Third International Conference on Numerical Methods in Fluid Mechanics
$39.99
Prognosefhiger Erfolg nach IAS/IFRS
$69.99
Krankenhausmanagement im Konfliktfeld zwischen medizinischen und wirtschaftlichen Zielen
$59.99
