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 $54.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
|
|
$59.99 | $59.99 |
|
10% OFF
This deals requires coupon
|
$54.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Reviews
Questions & Answers
Atomic Physics at Accelerators: Stored Particles and Fundamental Physics
$169.99
Designing Industrial Policy in Latin America: Business-State Relations and the New Developmentalism
$54.99
Financial Sector Development in African Countries
$44.99
The Development of Modern Agriculture
$84.99
Nonfiction Phonics Readers SET 4: Advanced Concepts (Single-Copy Set)
$17.99
Medienlogik im Wandel
$34.99
Verwaltungssteuerung mit Kosten- und Leistungsrechnung
$59.99
Civil Disobedience and the Politics of Identity
$54.99
Disease Ecology
$109.99
Transformation and European Integration
$109.99
Hybrid Hydrogen Systems
$39.99
Global Citizenship, Ecomedia and English Language Education
$159.99
Interesse fr Mathematik wecken Talente frdern
$59.99
Real-Time Quantum Dynamics of ElectronPhonon Systems
$109.99
Egyptian Female Labor Force Participation and the Future of Economic Empowerment
$54.99
Hong Kong, Empire and the Anglo-American Alliance
$84.99
The Legal Status of the Caspian Sea
$74.99
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management
$89.00
Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. / Scientific Correspondence with
$199.00
Advances in Physical, Social & Occupational Ergonomics
$279.99
Pattern Analysis of the Human Connectome
$169.99
Discrete Differential Geometry
$59.99
Boundaries within: Nation, Kinship and Identity among Migrants and Minorities
$109.99
The 17th International Conference Interdisciplinarity in Engineering
$229.99
The Educational Turn
$59.99
Modelling radiocesium in lakes and coastal areas new approaches for ecosystem modellers
$84.99
Nobel Prizes in Astronomy
$29.99
ICU Protocols
$199.99
Sport for Sustainable Development
$109.99
Ices in the Solar System
$329.99
bergnge im Bildungssystem
$54.99
International Aspects of the US Taxation System
$84.99
Visual-spatial Ability in STEM Education
$159.99
Arbeit und elektronische Kommunikation der Zukunft
$74.99
Information, Entropy, and Progress
$109.99
Education and Gendered Citizenship in Pakistan
$39.99
Renormalization Group and Fixed Points
$69.99
Rediscovering Social Economics
$119.99
Psychologische Vorlesungen
$59.99
Die Lehre von den Epidemien
$69.99
