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
Mathematik und Gott und die Welt
$19.99
Computer Aided Verification
$54.99
Caring for the Socially Marginalised in Interwar Europe, 19191939
$139.99
Structural Information from Spin-Labels and Intrinsic Paramagnetic Centres in the Biosciences
$329.99
Ecology and Behaviour of the African Buffalo
$84.99
Purpose, Meaning, and Action
$109.99
Knowledge in Change
$159.99
Built Environment and Walking & Cycling Around Metro Stations
$89.00
Alternative life-history styles of fishes
$219.99
Neuroanatomie
$59.99
Atomic Simulation of Electrooptic and Magnetooptic Oxide Materials
$39.99
Kundenrckgewinnungsmanagement im stationren Einzelhandel
$74.99
Applied Research of Quantum Information Based on Linear Optics
$84.99
Das neue Hardselling
$44.99
Value Reasoning
$64.99
Aspekte der medikamentsen Behandlung von Herzrhythmusstrungen
$69.99
Intelligent System Design
$279.99
Magnetothermal Properties near Quantum Criticality in the Itinerant Metamagnet Sr3Ru2O7
$109.99
Famous Composers Diseases Reloaded
$44.99
Creative Communities
$37.99
The Politics of Educational Decentralisation in Indonesia
$129.99
Globalisation, Ideology and Politics of Education Reforms
$54.99
The Constitutional Dimension of Contract Law
$159.99
Urban Flooding in Brazil
$169.99
The Evolution of the Law and Politics of Water
$219.00
Soft Real-Time Systems: Predictability vs. Efficiency
$84.99
Neuroacanthocytosis Syndromes II
$169.99
The Wizard of Quarks
$34.99
Privacy Technologies and Policy
$54.99
Carbon Rich Compounds I
$219.99
Impulsive Synchronization of Complex Dynamical Networks
$159.99
Repatriation Management and Competency Transfer in a Culturally Dynamic World
$169.99
Procurement and Transplantation of Abdominal Organs in Clinical Practice
$54.99
Gestaltung der Kostenrechnung
$89.99
Resilience by Design
$54.99
The Latest Developments and Challenges in Biomedical Engineering
$199.99
Geschlechterverhltnisse in Krieg und Frieden
$59.99
Die EU und die Finanzkrise
$54.99
Golden Oldies in General Relativity
$109.99
Handbook of Brownian Motion - Facts and Formulae
$249.99
