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
Syncytia: Origin, Structure, and Functions
$199.99
Princess Pink and The Land of Fake-Believe: Little Red Quacking Hood
$5.24
Growth of the Southern Andes
$84.99
Restoring Science and the Rule of Law
$109.99
Practical Treatment Options for Chronic Pain in Children and Adolescents
$79.99
Issues in International Bilingual Education
$54.99
Rethinking Business Schools
$109.99
Kurzes Handbuch der Ophtalmologie
$69.99
Surgery of the Thymus
$84.99
Computer Engineering and Technology
$39.99
Plant Immunity
$39.99
Quattro Pro for Scientific and Engineering Spreadsheets
$109.99
Paramagnetische Elektronenresonanz (EPR)-Untersuchungen bei hohen Temperaturen an polykristallinen G
$59.99
Downsizing For Dummies by Ralph R. Roberts
$22.99
Recent Advancement in White Biotechnology Through Fungi
$84.99
Magic and Witchery in the Modern West
$159.99
Law, Power and Culture
$84.99
Zwischen gesellschaftlichem Auftrag und Wettbewerb
$74.99
Deep Learning with Azure
$54.99
Sonderheft Professor em. Dr. Walter Dieminger Zum 70. Geburtstag Am 7.7.1977
$69.99
Mathematical Models for Therapeutic Approaches to Control Psoriasis
$54.99
Serious Games
$79.99
Nano-Bio- Electronic, Photonic and MEMS Packaging
$149.00
Application of Structural Equation Modeling in Educational Research and Practice
$49.99
Pferdegesttztes Coaching psychologisch basiert und wissenschaftlich fundiert
$34.99
Memory-Based Logic Synthesis
$84.99
Computational and Conversational Discourse
$219.99
Environment, Health and History
$54.99
Kindler Kompakt: Russische Literatur 20. Jahrhundert
$19.99
Achtsamkeit und Selbstmitgefhl
$49.99
Handbuch Intensivmedizin des Neurozentrums am Universittsklinikum Heidelberg
$39.99
Symbiose in Systemaufstellungen
$59.99
Plasmodesmata
$84.99
Shakespeares Early History Plays
$44.99
Rules and Reasoning
$39.99
Document Processing and Retrieval
$169.99
Professional Learning Conversations
$109.99
The Everything One Pot Mediterranean Cookbook- 200 Fresh and Simple Recipes That Come Together in One Pot by Peter Minaki
$18.99
Elements, Principles and Corpuscles
$109.99
Das Klagelied vom schlechten Bewerber
$49.99
