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
Colloid Chemistry II
$169.00
An Introduction to Trenchless Technology
$109.99
Schulsozialarbeit am bergang Schule - Beruf
$59.99
The Geneva Conference of 1954 on Indochina
$54.99
The Driving Forces of Change in Environmental Indicators
$54.99
The Bone Book
$84.99
Surveys of the Southern Galaxy
$54.99
The Turing Test
$169.99
Bo's Magical New Friend: A Branches Book (Unicorn Diaries #1)
$3.74
Recovery and Major Mental Disorders
$169.99
Ethics and Civil Drones
$24.99
The Unconscious and Eduard von Hartmann
$54.99
Architectural Transformations in Network Services and Distributed Systems
$64.99
Ein Verfahren zur Lsung des CAUCHY-Problems fr lineare Systeme von partiellen Differentialgleichun
$59.99
Aging Across Cultures
$159.99
Cardiovascular Pediatric Critical Illness and Injury
$39.99
Netherlands Yearbook of International Law 2012
$84.99
Musikcastingshows
$64.99
The Westing Game
$6.71
Sminaire de Probabilits XLV
$54.99
Mathematisches Vorsemester
$69.99
AutoCAD 12 fr Windows
$59.99
Language, Immigration and Labor
$84.99
Sensors Based on Nanostructured Materials
$84.99
Algebraic K-Theory
$79.99
The Cognitive Foundations of Personality Traits
$169.99
Internationalism in Children's Series
$54.99
Justice in the Age of Agnosis
$139.99
Digital Transformation in Education and Artificial Intelligence Application
$69.99
OCT and Imaging in Central Nervous System Diseases
$169.99
Die Wirkung von Glaubwrdigkeit in der Marketingkommunikation
$49.99
Spherical Radial Basis Functions, Theory and Applications
$54.99
Hardware and Software: Verification and Testing
$39.99
Pro Novell Open Enterprise Server
$54.99
Education as Social Action
$109.99
Macroeconomic Perspectives on the Danish Economy
$74.99
AR and VR Using the WebXR API
$39.99
Dostoevsky's Greatest Characters
$54.99
Nietzsche and Modern Literature
$109.99
Energy Risk Modeling
$129.00
