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 proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.
Reviews
Questions & Answers
Detectors for Particles and Radiation
$549.99
Intestinal Disorders
$219.99
Pesticide Law and Compliance Decision Making
$84.99
Journey to Diverse Microbial Worlds
$169.99
Introduction to Geospatial Information and Communication Technology (GeoICT)
$84.99
Parallel Computational Technologies
$54.99
You Wouldn't Want to Be a Viking Explorer!
$7.46
Louisa Stuart Costello
$90.00
Bruchids and Legumes: Economics, Ecology and Coevolution
$169.00
Climate Change Countermeasures in Ports Toward Carbon Neutrality
$169.99
Algorithmic Learning Theory
$54.99
Virus Variability, Epidemiology and Control
$169.00
Pelvic Floor Dysfunction
$379.99
Chemical Solution Deposition of Functional Oxide Thin Films
$219.99
Fair Rate of Return in Property-Liability Insurance
$39.99
Bltter fr Geschichte der Technik
$59.99
Using Kindle Fire HD
$19.99
Cardiovascular Pharmacogenetics
$329.99
Interfaces in Computer Science and Operations Research
$169.99
Artificial Intelligence and Computational Intelligence
$39.99
Applications of Quantum Dynamics in Chemistry
$169.99
Atopic Dermatitis - Eczema
$109.99
Die linearen Differenzengleichungen und ihre Anwendung in der Theorie der Baukonstruktionen
$59.99
Asthma
$99.00
Nichtlineare und adaptive Regelungssysteme
$59.99
Developing Principles and Models for Sustainable Forestry in Sweden
$219.99
Neuorientierung im Gesundheitswesen
$69.99
Theorization of Ex-Criminal Tribes
$129.99
Die totale Freiheit
$59.99
Protecting Privacy in Data Release
$84.99
Verkaufsschule und Verkaufslehrer
$59.99
Vulnerability, Social Capital and Disaster Preparedness
$119.99
Oracle Insights
$44.99
Neoadjuvant Immunotherapy Treatment of Localized Genitourinary Cancers
$89.00
The Design of Dynamic Data Structures
$39.99
Experimental Algorithms
$84.99
Kawaii Doggies- Learn to Draw over 100 Adorable Pups in All their Glory by Olive Yong
$21.99
Sexual Perversion
$54.99
Mustererkennung 1984
$59.99
Early Evolution of Human Memory
$59.99
