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
Collaboration Meets Interactive Spaces
$109.99
Der basische Herdofenproze
$84.99
Gemeinkostensenkung durch kostengnstiges Konstruieren
$49.99
Applied Geography: Issues, Questions, and Concerns
$39.99
Soziologie der Jugendkriminalitt
$59.99
Religious Hair Display and Its Meanings
$119.99
Plants as Factories for Protein Production
$169.99
Ermittlung chemischer und physikalischer Kennzahlen von filzfhigen Tierhaaren mit der besonderen Be
$64.99
Basel im Wandel / The changing face of Basle / Ble change de visage
$34.99
Fibromyalgia
$54.99
Akzeptanz von Enterprise Mobility
$79.99
Modernization Through Globalization
$54.99
DDT: The Insecticide Dichlorodiphenyltrichloroethane and Its Significance / Das Insektizid Dichlordi
$54.99
Checkpoint Controls and Targets in Cancer Therapy
$169.99
The Entropy Principle
$109.99
Scientific Women
$69.99
Spezielle Relativittstheorie
$59.99
Symplectic Geometry, Groupoids, and Integrable Systems
$139.00
Rekonstruktion narrativer Identitt
$69.99
Cardiac Arrhythmias
$249.99
Hybrid Annuity Model (HAM) of Hybrid Public-Private Partnership Projects
$69.99
Anaesthesiologie und Intensivmedizin
$69.99
Understanding and Managing IT Outsourcing
$39.99
Landed Estates and Rural Inequality in English History
$39.99
UV Radiation and Arctic Ecosystems
$84.99
Utility Maximization in Nonconvex Wireless Systems
$109.99
The Theological Turn in Contemporary Gothic Fiction
$84.99
World of Business with Data and Analytics
$109.99
Ferroelectric Crystals for Photonic Applications
$129.00
Theorie schallnaher Strmungen
$64.99
Beitrag zur thermoelastischen Warmformbarkeit von hartem Polyvinylchlorid (Hart-PVC)
$59.99
Proceedings of the 2nd International Civil Engineering and Architecture Conference
$249.99
Organic Polymer Chemistry
$119.00
Analytik der Lebensmittel
$39.99
Developing Family Business Policies
$19.99
Computational Logic in Multi-Agent Systems
$39.99
Trusted Computing and Information Security
$54.99
Hail
$36.00
50 Jahre Grenzschichtforschung
$59.99
Surface Effects in Crystal Plasticity
$54.99
