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
New Islamic Schools
$54.99
Water Resources in Algeria - Part I
$329.99
Integrated Systems, Design and Technology 2010
$169.00
Ibis
$3.74
The Flower of Paradise
$219.99
Topics in Cryptology CT-RSA 2007
$54.99
Divergent Series, Summability and Resurgence I
$49.99
Spectral Theory of Linear Operators
$169.99
Compact Semitopological Semigroups
$39.99
Equilibrium Thermodynamics
$64.99
The Capacity Aspect of Inventories
$54.99
The Kyoto Protocol
$169.99
Advances in Internal Medicine and Pediatrics / Ergebnisse der Inneren Medizin und Kinderheilkunde
$44.99
Innerbetriebliche Standortplanung und Raumzuordnung
$59.99
Software Quality: Quality Intelligence in Software and Systems Engineering
$39.99
Mnnlichkeit, Ethnizitt und Jugend
$59.99
Yearbook of International Sports Arbitration 2015
$109.99
Kurzes Lehrbuch der Physikalischen Chemie
$49.99
Computer and Computing Technologies in Agriculture VI
$84.99
Zur Konstruktion des Erwachsenen
$59.99
The Statesman's Yearbook 2007
$189.00
Symbiose in Systemaufstellungen
$59.99
Stability of Elastic Structures
$169.99
Sichere multimediale Telekommunikation
$59.99
Inclusive Education and Disability in the Global South
$54.99
Die Literarische Formenlehre
$44.99
Wissenschaftliches Rechnen mit MATLAB
$39.99
Biogeochemistry of Trace Elements in Arid Environments
$129.00
Environmental Problem Solving
$54.99
Sustainability Analysis
$109.99
Machine Learning and Knowledge Discovery in Databases, Part II
$39.99
Cellular Automata and Discrete Complex Systems
$59.99
11 der Infektiologie auf Intensivstationen
$54.99
Information Theory and Coding - Solved Problems
$219.99
Sedentary Behaviour Epidemiology
$139.00
Community Resilience, Universities and Engaged Research for Todays World
$39.99
Current Ornithology
$84.99
Riverbank Erosion in the Bengal Delta
$119.00
Electronic Properties of Fullerenes
$84.99
Afghan Interpreters Through Western Eyes
$129.99
