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
Practical Hydroinformatics
$129.00
The Invention of a European Development Aid Bureaucracy
$59.99
Experts, Social Scientists, and Techniques of Prognosis in Cold War America
$109.99
Computational Collective Intelligence. Technologies and Applications
$39.99
Understanding Intercultural Communication
$119.99
Handbuch Wissenschaftliche Weiterbildung
$349.99
Representation Theory of Algebraic Groups and Quantum Groups
$84.99
Allosteric Regulatory Enzymes
$199.99
A Distant Light
$54.99
Controversies in the Management of Gynecological Cancers
$169.99
Electronic Batch Recording Solutions
$39.99
Public Data Networks
$54.99
Task Force Management
$74.99
Einfhrung in die organische Chemie
$59.99
The Dam Dilemma
$39.99
Proceedings of 2013 4th International Asia Conference on Industrial Engineering and Management Innov
$219.99
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$54.99
Abschlussprfung Teil I
$29.99
Magnetic Interactions and Spin Transport
$129.00
(Im)politeness in McEwans Fiction
$129.99
Modernism and Phenomenology
$109.99
Stacey's Mistake: A Graphic Novel (The Baby-Sitters Club #14)
$9.74
Hands off!
$44.99
Warriors- Dawn of The Clans Box Set- Volumes 1 to 6 by Erin Hunter
$59.94
Die Rbenfliege
$84.99
Synergetics From Microscopic to Macroscopic Order
$54.99
Beitrge zur Kenntnis der Dmmerungs-Erscheinungen und des Alpenglhens
$24.99
Going to War
$54.99
Kundengruppen und Produktlebenszyklus
$79.99
European Bank Restructuring During the Global Financial Crisis
$109.99
Modeling and Managing Shallow Lake Eutrophication
$109.99
Marketing
$49.99
Fundamentals of Quantum Information
$109.99
Structure Computation and Dynamics in Protein NMR
$259.00
Klinische Psychologie bei Querschnittlhmung
$119.99
Gastroskopiefibel
$69.99
Eigenfertigung und Fremdbezug unter finanzwirtschaftlichen Aspekten
$59.99
Proceedings of the 2023 International Conference on Green Building, Civil Engineering and Smart City
$379.99
Mediation
$17.99
Jellyfish Blooms: Causes, Consequences and Recent Advances
$169.99
