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
Religion und Familienpolitik
$69.99
Numerical Analysis and Its Applications
$109.00
Modeling and Simulation Environment for Satellite and Terrestrial Communications Networks
$109.99
Deutsches Rechtswrterbuch Band 13, Einbanddecke
$29.99
Integral operators in spaces of summable functions
$54.99
Comprehensive Utilization of Magnesium Slag by Pidgeon Process
$37.99
Bank Funding, Financial Instruments and Decision-Making in the Banking Industry
$109.99
Funktionstrennung in ERP-Systemen
$79.99
Challenging Sociality
$139.99
Der Frstenspiegel im Zeitalter des aufgeklrten Absolutismus Zu Wielands Goldenem Spiegel
$39.99
Critical Skills for Environmental Professionals
$89.99
Decentralization and Coordination of Water Resource Management
$169.99
Concurrent Aerobic and Strength Training
$159.99
Fouriertransformation fr Fugnger
$37.99
Das rot-grne Projekt
$44.99
Advances in Evolutionary Computing
$129.00
eCulture
$39.99
Computing with New Resources
$54.99
There's No Such: There's No Such Thing as.Mermaids
$5.99
A Decade in Sino-Soviet Diplomacy
$379.99
The Indian Nationalist Movement 1885-1947: Select Documents
$79.99
Homo Sociologicus
$59.99
Breast Imaging
$169.99
Collaborative Dynamic Capabilities for Service Innovation
$119.00
Evolution of the Central Nervous System ofCraniataand Homo
$54.99
Becoming Human Amid Diversions
$109.00
Imperialism Revisited
$54.99
Magnetic Measurement Techniques for Materials Characterization
$79.99
Modern Problems of Stochastic Analysis and Statistics
$54.99
Naming and Nation-building in Turkey
$109.99
An Introduction to Online Computation
$99.99
General Pharmacology
$39.99
Formal Syntax and Semantics of Java
$39.99
Towards Safe Robots
$84.99
Molecular Basis of Symbiosis
$169.99
Food, Feed, Fuel, Timber or Carbon Sink? Towards Sustainable Land Use
$79.99
Latin American Foreign Policies
$54.99
Dem Denken abgeschaut
$44.99
Mehrstufige Eigenmarken
$74.99
Wirtschaft und Sprache
$64.99
