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 |
|
$54.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Biological and Bio-Inspired Fluid Dynamics
$109.99
Elementary Statistical Methods
$54.99
Die Ironie Gottes
$39.99
Work at the Boundaries of Science
$109.99
Digital Government
$69.99
Cardiovascular Magnetic Resonance
$39.99
Picturepedia, Second Edition- An Encyclopedia on Every Page by Dk
$29.99
Modelling Aqueous Corrosion
$259.00
Rotifers
$179.99
Information Technology for Business
$129.99
Nodes in Transport Networks Research, Data Analysis and Modelling
$109.99
Bestimmungsschlssel zur Flora der Schweiz
$54.99
Reflective Practice in ESL Teacher Development Groups
$39.99
Computer and Information Sciences
$169.00
Archetypical Roles in Startups
$84.99
Deutschland 4.0
$34.99
Artificial Intelligence Applications and Innovations
$84.99
Progress in Liver Transplantation
$39.99
Technology, Sustainability and Educational Innovation (TSIE)
$219.99
Inherited Metabolic Diseases and the Brain
$54.99
The Navajo Sound System
$109.99
Dancing Genius
$109.99
Highs and Lows of European Integration
$139.99
An APL Compiler
$109.99
The Phylogenetic Classification of Diptera Cyclorrhapha
$54.99
High Temperature Gas Dynamics
$109.00
Bewertung von Kundenbindungsstrategien in B-to-B-Mrkten
$79.99
Landkarten ihre Herstellung und ihre Fehlergrenzen
$39.99
Biodiversity of the Himalaya: Jammu and Kashmir State
$329.99
A Relational Approach to Educational Inequality
$54.99
Contaminated Sediments
$39.99
The Year of Billy Miller by Kevin Henkes
$17.99
Der Nerventurm
$39.99
Leitfaden Arithmetik
$34.99
Cyber Resilience of Systems and Networks
$199.99
When Harriet Met Sojourner
$5.96
Kunstwerke chemisch betrachtet
$69.99
Robustness in Automatic Speech Recognition
$219.99
Politik aus christlicher Verantwortung
$49.99
Wave Packets and Their Bifurcations in Geophysical Fluid Dynamics
$109.99
