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:
Buy Automated Technology for Verification and Analysis for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Concise Guide to Databases
$49.99
Biochemical and spetroscopic characterization of cp20, a protein involved in synaptic plasticity mec
$14.95
Distributive Justice and Inequality
$109.99
Anatomy of Exercise - A Trainer's Inside Guide to Your Workout by Pat Manocchia
$24.95
Erbbiologie und Erbpathologie Nervser und Psychischer Zustnde und Funktionen
$59.99
Psychosocial Factors at Work in the Asia Pacific
$109.99
Advances in Fuzzy Integral and Differential Equations
$179.99
Betriebliches Umweltmanagement 1998
$59.99
Technik - Macht - Raum
$59.99
Clinical Cases in Disorders of Melanocytes
$39.99
Advanced Glaucoma Surgery
$84.99
Nietzsche im Exil
$39.99
Rings, Monoids and Module Theory
$179.99
Convex and Starlike Mappings in Several Complex Variables
$39.99
Peptide Synthesis and Applications
$109.99
Material Behavior and Physical Chemistry in Liquid Metal Systems
$39.99
Mindful Leadership Coaching
$39.99
Bei Sozialkunde denke ich nur an dieses Trockene
$59.99
Equality of Treatment and Trade Discrimination in International Law
$54.99
Theory and Technology of Laser Imaging Based Target Detection
$149.00
The Political Implications of Kant's Theory of Knowledge
$54.99
Fish Hearing and Bioacoustics
$169.99
High Score & High Heels
$44.99
Die Bedeutung des Mendelismus fr die Landwirtschaftliche Tierzucht
$44.99
Elemente der Ersten Nebengruppe
$59.99
Fundamentals of the Radiolocation and Radionavigation
$139.99
Androgyny in Modern Literature
$54.99
Classroom-based Conversation Analytic Research
$169.99
Produktionsplanung und Pufferbildung bei Werkstattfertigung
$74.99
Festschrift der Arbeitsgemeinschaft fr Forschung des Landes Nordrhein-Westfalen zu Ehren des Herrn
$49.99
Technology for Education and Learning
$169.00
Introduction to Engineering Statistics and Lean Six Sigma
$129.99
Dynamics of Soil and Modelling of Geotechnical Problems
$219.99
Menschliche Natur und Digitalisierung
$24.99
Mathematikdidaktik in Rekonstruktionen
$49.99
Curating Islamic Art Worldwide
$69.99
Die Eigenschaften des Kaskadenumformers und seine Anwendung
$59.99
Probiotic Bacteria and Enteric Infections
$169.00
Some Current Concepts of Synaptic Organization
$109.99
Cosmic Radiations: From Astronomy to Particle Physics
$109.99
