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
Primordialit de lcriture dans la gense du langage humain
$39.99
Passive and Active Measurement
$84.99
35 Reading Passages for Comprehension: Context Clues & Figurative Language
$8.24
Games and Gaming in Medieval Literature
$89.00
Die Salz-Lagersttten in Zeit und Raum Ein Beitrag zum Klima der Vorzeit
$54.99
Prozessbergreifendes Projektmanagement
$29.99
Intracranial Pressure V
$109.99
Hybrid Artificial Intelligence Systems
$139.00
Competitive Advantage of Customer Centricity
$89.99
The Machiavellian Legacy
$109.99
Recent Developments in Integrable Systems and Related Topics of Mathematical Physics
$109.99
Messung dielektrischer Stoffeigenschaften
$44.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Reliability Engineering
$329.99
1D Oxide Nanostructures Obtained by Sol-Gel and Hydrothermal Methods
$54.99
Gendering the International
$54.99
The Philosophical and Theological Foundations of Ethics
$169.99
Database Systems for Advanced Applications
$109.99
Short Dialysis
$219.99
Flchtige Betrachtungen ber den sogenannten Actien-Schwindel und das bezgliche Gesetz vom 24. Mai
$54.99
Tchter im Familienunternehmen
$64.99
Ergnzungsbltter zum Hebammen-Lehrbuch, Ausgabe 1904
$54.99
Advances in Cryogenic Engineering
$54.99
Handbuch Deutschsprachig-jdische Literatur seit der Aufklrung Bd. 3: Sprachkulturen
$139.99
Physics of the Sun
$169.99
Principles of Evolution
$54.99
Utopien, Realpolitik und Politische Bildung
$59.99
War Crimes, Genocide, and Justice
$99.99
Leadership Discourse at Work
$54.99
Dangerous Materials: Control, Risk Prevention and Crisis Management
$169.99
The Social Impact of Custody on Young People in the Criminal Justice System
$49.99
Trelliscodierung
$84.99
The Materiality of Lake Kariba
$89.00
Deformation Theory and Symplectic Geometry
$109.99
Sandwichkonstruktionen
$79.99
Game Theory for Networks
$89.99
Personalmanagement als Wertschpfungs-Center
$59.99
Dynamics in Logistics
$219.99
Plant Hormones and their Role in Plant Growth and Development
$109.99
Illustrated C# 2008
$34.99
