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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
Reviews
Questions & Answers
A History of the Personal Social Services in England
$37.99
Naturbild und Diskursgeschichte
$59.99
Introductory Orbit Dynamics
$29.99
Bedrfnisse im Wandel
$69.99
Grundwasser
$49.99
Die Durkheim-Schule und der franzsische Solidarismus
$59.99
Zielorientierte Mittelstandsfrderung
$44.99
Universal Secondary Education in India
$109.99
The Macmillan Guide to the United Kingdom 1978-79
$74.99
Information Security Practice and Experience
$39.99
Dependencies and Mechanisms of Unemployment and Social Involvement
$39.99
Programmsystem MAVAMM zur maschinellen Vorbereitung und Auswertung von Multimoment-Aufnahmen
$69.99
The Search for Extraterrestrials
$19.99
Nanometer CMOS RFICs for Mobile TV Applications
$84.99
Lsungen zum Lehrbuch Buchfhrung 1 DATEV-Kontenrahmen 2019
$19.99
Anger Is A Gift by Mark Oshiro
$10.99
Levinas, Kant and the Problematic of Temporality
$89.99
Local Bifurcations, Center Manifolds, and Normal Forms in Infinite-Dimensional Dynamical Systems
$84.99
40 Years of China's War on Poverty
$109.99
Froggy Books: Froggy aprende a nadar
$4.88
New Method of Identifying Family Related Skulls
$84.99
Stimuli-Responsive Interfaces
$109.99
Ready-To-Go 100 Book Classroom Library: Favorites, Grade 7
$589.00
Risikomanagement und Rationalitt
$84.99
Intelligent Methods Systems and Applications in Computing, Communications and Control
$169.99
Early Clinical Intervention and Prevention in Schizophrenia
$129.00
Silikon-Verbundisolatoren
$119.00
Ansthesie im Kindesalter
$69.99
Innovations in Social Finance
$199.99
Vibration Control Methods of Mechanical Distributed Parameter Systems
$129.00
Turbo Pascal-Wegweiser
$39.99
Testmethoden fr sequentielle und nebenlufige Software-Systeme
$49.99
Identity, Performance and Technology
$39.99
Fernsehen als Beziehungskiste
$49.99
Mikrobiologisches Praktikum fr Naturwissenschaftler
$84.99
Engineering Psychology and Cognitive Ergonomics
$39.99
Proceedings of the 5th China Aeronautical Science and Technology Conference
$449.99
Farben
$29.99
The Charismatic Movement in Taiwan from 1945 to 1995
$139.99
Iterative Aggregation und mehrstufige Entscheidungsmodelle
$77.00
