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
Reconfiguring Intervention
$139.99
Geothermal Energy: The Energy Inside Our Planet (A True Book: Alternative Energy)
$5.96
Practical JavaScript for the Usable Web
$39.99
VLSI for Artificial Intelligence
$109.99
The Fisheries Co-management Experience
$219.99
Mexican American and Immigrant Poverty in the United States
$109.99
The Painted Stork
$109.99
Management of Vitreo-Retinal Disease
$54.99
Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24
$169.00
Advances in Algebra and Geometry
$52.00
Operante Lernmethoden im Unterricht
$69.99
Mathematical Modeling and Computational Intelligence in Engineering Applications
$54.99
High-Performance Networks for Multimedia Applications
$109.99
Sport im Spannungsfeld zwischen Medien und Psychologie
$49.99
Key Technologies of Intelligentized Welding Manufacturing
$84.99
Investor Relations in Deutschland
$59.99
Die Sternenkosphren im Radius von 17 Lichtjahren um die Sonne
$54.99
ESA Science Programme Missions
$59.99
Evolution of Karst in the Lower Part of Crna Reka River Basin
$109.99
Energieeffiziente Fabriken planen und betreiben
$39.95
Digital Technology as Affordance and Barrier in Higher Education
$59.99
Sicherheit von Medizingerten
$79.99
Mikrokonomie
$54.99
Write And Wipe Counting
$6.74
Moderne Software-Entwicklung mit Java und JEE
$44.99
Software Engineering and Formal Methods
$69.99
Investing in Asian Offshore Currency Markets
$39.99
Environmental Indicators and Shellfish Safety
$109.99
Capitalism Without Capital
$109.99
The Mother of the Bride Guide - A Modern Mom's Guide to Wedding Planning by Katie Martin
$15.99
Student Misconceptions and Errors in Physics and Mathematics
$59.99
bungsbuch zur Numerischen Mathematik
$44.99
Grundlagen des Managements
$24.99
Grndung von Technologieunternehmen
$59.99
Thromboembolism
$54.99
Going Public in Deutschland
$69.95
Extracranial Carotid and Vertebral Artery Disease
$129.99
Configurations from a Graphical Viewpoint
$54.99
Mineral Surfaces
$169.99
Mrs Thatcher's First Administration
$54.99
