Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
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.
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 |
|
$59.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Leitfaden der Humangenetik
$84.99
Dissipative Structures in Transport Processes and Combustion
$39.99
Rock and Pop Venues
$89.00
Canonical Gibbs Measures
$29.99
Advances in Enterprise Engineering XVI
$59.99
The Fundamentals of Psychological Medicine
$39.99
Innovative Learning Environments in STEM Higher Education
$24.99
Computer Graphics and Geometric Modeling
$39.99
Contemporary Heritage Lexicon
$199.99
Transition and Change in Collectivist Family Life
$54.99
History of Geomorphology
$54.99
Computer Chemistry
$39.99
Middle Powers & Commercial Diplomacy
$109.99
Social Exclusion in Later Life
$59.99
Goffman-Handbuch
$99.99
Nonsmooth Mechanics and Analysis
$169.00
Bilevel Optimization
$169.99
New Governance in European Social Policy
$79.99
Fungal Resources for Sustainable Economy
$249.99
Modelling Protocells
$69.99
Models for Clinical Psychopathology
$109.99
Schein's Common Sense Emergency Abdominal Surgery
$54.99
Cinema after Fascism
$54.99
The Human Brain
$169.99
Model-Reference Robust Tuning of PID Controllers
$109.99
Die Universitt Heidelberg im Nationalsozialismus
$54.99
Benn-Handbuch
$119.99
Embracing Global Computing in Emerging Economies
$54.99
Informatics in Schools: Contributing to 21st Century Education
$54.99
Die praktische Werkstoffabnahme in der Metallindustrie
$59.99
Research in Attacks, Intrusions, and Defenses
$39.99
Molecular Targeting and Signal Transduction
$129.00
Lean Engineering for Global Development
$119.99
Variational Methods in Mathematics, Science and Engineering
$109.99
Medizin im Internet
$59.99
Theory of Reversible Computing
$149.00
Patente in der Praxis
$19.99
Mechanisms of Secondary Brain Damage in Cerebral Ischemia and Trauma
$39.99
Die Bedeutung sozialen Kapitals fr Migrationsprozesse
$49.99
Fundamentals of the Mechanics of Solids
$79.99
