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
Proceedings of the 26th Conference of Spacecraft TT&C Technology in China
$129.00
Types in Compilation
$39.99
Inter-Societal Dynamics
$159.99
National and International Monetary Payments
$139.99
Protein Bioinformatics
$199.99
Discrete Geometry and Optimization
$109.99
Macroeconomic Risk Management Against Natural Disasters
$54.99
Polymer-Mediated Phase Stability of Colloids
$109.99
Economic Impacts of Immigration
$54.99
Handbuch der chemischen Untersuchung der Textilfaserstoffe
$99.00
Biologie der Schmetterlinge
$84.99
Plague Image and Imagination from Medieval to Modern Times
$139.00
Einfhrung in die Phonologie und Graphematik
$19.99
The Origins of Life
$129.00
Bestimmung von Entfernungsbildern durch aktive stereoskopische Verfahren
$69.99
Maximum Entropy and Bayesian Methods
$329.99
Handbuch Industrie 4.0: Recht, Technik, Gesellschaft
$179.00
Facing the Technological Challenge
$54.99
Die Forschungsverfgung
$59.99
Performing Arts Medicine in Clinical Practice
$84.99
Racist Regimes, Forced Labour and Death
$129.99
Normal Testicular Descent and the Aetiology of Cryptorchidism
$109.99
Class 1 Oxidoreductases I
$329.99
Rationalittssicherung bei hohen Wissensdefiziten
$59.99
Praxisbuch Gynkologische Onkologie
$129.99
Exploring the Role of Strategic Intervention in Form-focused Instruction
$84.99
Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science
$54.99
Building the Digital Enterprise
$39.99
Handbook on Decision Making
$129.00
Limelight
$4.46
Practical Quantum Mechanics
$44.99
Information Transfer: New Age New Ways
$129.00
Detoxing Masculinity in Anglophone Literature and Culture
$139.99
MD Aware
$64.99
Advances in Cognitive Neurodynamics (VII)
$299.99
Languages, Design Methods, and Tools for Electronic System Design
$54.99
Big Data Analytics
$54.99
Bioactive Glasses
$169.99
Machine Learning, Image Processing, Network Security and Data Sciences
$79.99
Criminal Dilemmas
$54.99
