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
Desert Aeolian Processes
$39.99
Spoken Multimodal Human-Computer Dialogue in Mobile Environments
$169.99
Sustainable Aviation
$109.99
Accelerated Plant Breeding, Volume 1
$129.00
Persuasive Technology. Designing for Future Change
$64.99
Global and Organizational Discourse about Information Technology
$169.99
The Assimilation of German Expellees into the West German Polity and Society Since 1945
$54.99
Weibliches Genitale Mamma Geburtshilfe
$59.99
Strengthening Information and Control Systems
$109.99
Extrapulmonary Tuberculosis
$109.99
ffentlich-rechtliche Podcasts im Kontext von Hrfunk und Internet-Plattformen
$64.99
Praxiskommentar Transparenzgesetz (LTranspG RLP)
$64.99
Key Concepts in MIN - Intracerebral Hemorrhage Evacuation
$119.00
Advances in Cross-Section Data Methods in Applied Economic Research
$169.99
Social Media for Leaders
$79.99
The Political Economy of Korea
$54.99
Magnetic Resonance Imaging
$89.00
Reimagining Utopias
$39.99
Zielfhrende Kommunikation zwischen Agentur und Kunde
$49.99
Textspiele in der Wirtschaftskommunikation
$49.99
Optimal Periodic Control
$29.99
Die L- und L-Linien der Elemente 32Ge bis 26Fe und ihrer Verbindungen und Legierungen
$49.99
Rumanian Folk Music
$54.99
Wound Healing Research
$249.99
Nitrogen Deposition, Critical Loads and Biodiversity
$169.99
Crafting Jewishness in Medieval England
$54.99
Successful International Negotiations
$99.99
Driving the Economy through Innovation and Entrepreneurship
$219.99
Electrode Processes in Solid State Ionics
$169.00
Faith and the Philosophers
$99.00
Journalismus in Deutschland, sterreich und der Schweiz
$49.99
Reliability and Statistics in Transportation and Communication
$229.00
Computational Contact and Impact Mechanics
$169.99
Transnationalisierungsrume
$69.99
Geology of the Oman Mountains, Eastern Arabia
$59.99
Interventionelle Sonographie
$54.99
Antibiotika bei Infektionen mit multiresistenten Erregern
$29.99
Natural Language Processing and Chinese Computing
$79.99
How to Market Computers and Office Systems
$89.00
Trends and Advances in Information Systems and Technologies
$219.99
