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
Information Technology in Disaster Risk Reduction
$59.99
Die Nutzung von Kostenrechnungsinformationen im Marketing
$59.99
Recent Advances of Plant Root Structure and Function
$169.99
Fortschritte in der Diagnostik und Therapie schizophrener Minussymptomatik
$59.99
Making Common Cause
$54.99
Basic Methods for the Biochemical Lab
$139.99
Data Science and Multiple Criteria Decision Making Approaches in Finance
$99.99
Bildliches und logisches Denken
$74.99
EDV-orientiertes Kosteninformationssystem
$59.99
Handbuch Gewerkschaften in Deutschland
$99.99
Interpersonelle Kommunikation und erfolgreiches Lieferantenmanagement
$59.99
Digital Draw Connections
$189.00
Handbook of Arbuscular Mycorrhizal Fungi
$179.99
Rural Latin America in Transition
$129.99
Analysis in historischer Entwicklung
$39.99
Morphological Modeling of Terrains and Volume Data
$39.99
Security of Industrial Control Systems and Cyber-Physical Systems
$54.99
Innovation for Sustainability
$129.99
Salamanders
$129.00
Dendritic Cells and Virus Infection
$219.99
Aspekte des Selbstbewusstseins bei Kant
$54.99
iOS Code Testing
$59.99
Long Continental Records from Lake Baikal
$109.99
Politische Kommunikation in Deutschland
$29.99
Limits of Stability and Stabilization of Time-Delay Systems
$109.99
Die Immunittsforschung Ergebnisse und Probleme in Eineldarstellungen
$59.99
Parkinson's Disease and Nonmotor Dysfunction
$149.00
Composition of Secure Multi-Party Protocols
$54.99
Eigenschaften von Hochvakuumteeren, Extrakten und Restkohlen sowie von Chlorierungs- und Sulfonierun
$59.99
Retrial Queueing Systems
$109.99
Silicon Photonics & High Performance Computing
$84.99
Shakespeare and the Shapes of Time
$74.99
Skandinavische Literaturgeschichte
$49.99
Informal Caregivers: From Hidden Heroes to Integral Part of Care
$79.99
Biochemistry of Pulmonary Emphysema
$39.99
Dendrimers IV
$259.00
Taking Stock of Delinquency
$84.99
Detection of Intrusions and Malware, and Vulnerability Assessment
$129.99
Drugs and the Addiction Aesthetic in Nineteenth-Century Literature
$84.99
Wasserrechtliche Entscheidungen 1958 bis 1968
$59.99
