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 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
Reviews
Questions & Answers
Computer-Aided Design of Analog Circuits and Systems
$84.99
Atlas of Operative Maxillofacial Trauma Surgery
$189.00
Soldiers, Peacekeepers and Disasters
$84.99
Desktop Publishing mit PageMaker 4.2 fr den Macintosh
$44.99
Introduction to Avionics Systems
$249.99
Psychobattery
$49.99
Ascomycete Systematics
$219.99
Beschaffung von chinesischen Industrieunternehmen in der Bundesrepublik Deutschland
$59.99
New Perspectives on Mind-Wandering
$109.99
Iran, Iraq, and the Legacies of War
$54.99
Functional Food and Human Health
$299.99
Handbook of Mobile Data Privacy
$109.00
Polymer Permeability
$169.00
Orthopedic Care of Patients with Cerebral Palsy
$169.99
Childhood and Sexuality
$89.00
Handbuch Arbeitssoziologie
$69.99
Strategic Value Proposition Innovation Management in Software Startups for Sustained Competitive Adv
$89.99
Den Kopf frei machen und so bleiben
$17.99
Risk and Interdependencies in Critical Infrastructures
$84.99
Art: Explained - 100 Masterpieces and What They Mean
$18.08
Vintage Luxury Fashion
$139.00
Curriculum Studies in the United States: Present Circumstances, Intellectual Histories
$54.99
Fehldiagnosen in der pdiatrischen Praxis vermeiden
$49.99
Religious Experience in Trauma
$109.99
Intraocular Surgery
$39.99
Chinas Foreign Investment Law Amid Evolving International Investment Rules
$159.99
Im Fokus: Sonnensystem
$34.99
Haunting and the Educational Imagination
$49.99
Perspectives on Economic Integration and Business Strategy in the Asia-Pacific Region
$109.99
Superbuns!
$5.21
Highlights in Solute-Solvent Interactions
$84.99
A History of Biophysics in Contemporary China
$39.99
Polymer Applications of Renewable-Resource Materials
$54.99
Clays
$119.99
Drawing with Children - Paperback
$17.11
Osteoporosis in Clinical Practice
$54.99
The Minish Cap
$7.49
Inflammation: the Common Link in Brain Pathologies
$129.00
Basic Topological Structures of Ordinary Differential Equations
$109.99
Singular Loci of Schubert Varieties
$159.99
