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
Analyzing Digital Discourses
$179.99
Blasphemy and Politics in Romantic Literature
$54.99
Chinese Semiotic Thoughts in the Pre-imperial Age
$129.99
Third Places reale Inseln in der virtuellen Welt
$39.99
Angewandte Laserchemie
$69.99
The Roots of Things
$109.99
Industrielle Umweltschutzkooperationen
$89.99
Controllable Synthesis and Atomic Scale Regulation of Noble Metal Catalysts
$149.00
Heidelberger Gelehrtenlexikon 13861651
$89.99
The Sociology of Arts and Markets
$169.99
Secondary School Education in Ireland
$84.99
Television and the Moral Imaginary
$109.99
Recent Trends in Learning From Data
$159.99
Jahrbuch der Motorluftschiff-Studiengesellschaft
$69.99
Economic Theory and the Construction Industry
$39.99
Educational and Amateur Geiger Counter Experiments
$129.00
Vertriebspraxis Mittelstand
$39.99
Allianzen in der Markenfhrung
$79.99
Reliability Engineering
$329.99
Healthcare and Big Data Management
$179.99
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$49.99
From Education Policy to Education Practice
$59.99
Computer Safety, Reliability, and Security
$89.99
Chemical Youth
$59.99
A History of GKN
$169.99
Formal Methods in Architecture
$169.99
Economic Growth and Cohesion Policy Implementation in Italy and Spain
$39.99
Heat Shock Proteins in Cancer
$219.99
Passivierende Filme und Deckschichten
$69.99
Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck
$129.99
Pro Machine Learning Algorithms
$54.99
Verffentlichungen aus dem Kniglich Schsischen Militair Sanitts Dienst
$49.99
Surgery of Spinal Cord Tumors Based on Anatomy
$89.00
Sichere Netzwerkkommunikation
$14.99
Excitatory Amino Acids and Second Messenger Systems
$84.99
The Little Book of Cleaning Tips: A Guide to Keeping Your Space, Healthy, Tidy, & Calm by Leah N. Miles
$12.95
Einfhrung in die Extragalaktische Astronomie und Kosmologie
$84.99
Ionic Regulation in Animals: A Tribute to Professor W.T.W.Potts
$84.99
Structural Vibration
$54.99
Theory and Design Methods of Special Space Orbits
$129.00
