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
Automated Technology for Verification and Analysis
Best Price (Coupon Required):
Buy Automated Technology for Verification and Analysis 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 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Reviews
Questions & Answers
Social Aesthetics and the School Environment
$109.99
Mikrosystemtechnik
$39.99
Liquide Mittel und Investitionsentscheidungen
$69.99
Die Kombination von Pflege- und Erwerbsttigkeit im Lebensverlauf
$64.99
Hox Genes
$169.99
Phase Separation in Living Cells
$149.00
In Bed with the Victorians
$59.99
Peace Among the Willows
$84.99
Maternal Modernism
$109.00
Advances in Intelligent Information Hiding and Multimedia Signal Processing
$169.00
Introduction to Piecewise Differentiable Equations
$54.99
Financial Modeling
$59.99
Emerging Concepts Targeting Immune Checkpoints in Cancer and Autoimmunity
$199.99
Research and Advanced Technology for Digital Libraries
$39.99
Financial Accounting and Management Control
$54.99
Handbuch Rechtsphilosophie
$89.00
Modern Geopolitics of Eastern Mediterranean Hydrocarbons in an Age of Energy Transformation
$109.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2023 Workshops
$74.99
Cultural Awareness in the Military
$39.99
Introduction to Oil and Gas Technology
$54.99
Kundenentwicklung im Dienstleistungsbereich
$79.99
Hybrid Systems: Computation and Control
$109.99
Natalia Ginzburg's Global Legacies
$119.99
The Center, Bulge, and Disk of the Milky Way
$39.99
Lernwelt Universitt
$44.99
Pharmakologie und klinische Pharmakologie von Hydergin
$84.99
Wasserkraft- und Elektrizittswirtschaft in der Zweiten Republik
$59.99
Lehrbuch der Lokalansthesie fr Studierende und rzte
$44.99
Arzneiverordnungs-Report 2021
$89.99
Basic Concepts in Information Theory and Coding
$249.99
The Poly-Traumatized Patient with Fractures
$169.00
Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development
$99.99
Northern Ireland and Beyond
$109.99
The Postmodern Turn in the Social Sciences
$139.00
Quaternions, Clifford Algebras and Relativistic Physics
$64.99
Perinatal Palliative Care
$119.99
Organisation der Langfristplanung
$59.99
Comparative Perspectives on the Enforcement and Effectiveness of Antidiscrimination Law
$299.00
Computational Statistical Physics
$109.99
Higher Education and Graduate Employment in Europe
$169.99
