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
Electromagnetics and Network Theory and their Microwave Technology Applications
$109.99
Regelungstechnik mit Data Stream Management
$44.99
Pairing-Based Cryptography - Pairing 2007
$39.99
Protecting Privacy in Data Release
$84.99
Medical Ethics for Physicians-in-Training
$84.99
Entrepreneurial Universities
$129.99
Restructuring Japanese Business for Growth
$169.99
The Delta of Chinese Management
$89.00
Temperatur- und Spannungsverteilung in ausgemauerten zylindrischen Reaktionsgefen
$59.99
Methodological Imaginations
$59.99
The World Environment 19721992
$39.99
Philosophinnen der griechischen Antike
$54.99
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
$54.99
Beyond Innovation: Technology, Institution and Change as Categories for Social Analysis
$54.99
Modern Aspects of Electrochemistry
$84.99
Biology, Controls and Models of Tree Volatile Organic Compound Emissions
$169.99
D. H. Lawrence
$54.99
Untersuchungen zur Frage nach einer etwaigen Aufnahme von Dieldrin aus Dieldrin-imprgnierter Wolle
$54.99
School Bullying
$99.00
Service-Oriented Computing ICSOC 2020 Workshops
$54.99
The Ancient Nasca World
$199.99
Sleep Research
$54.99
Feinbearbeitung von Zahnrdern mit vorgegebenen Korrekturen
$59.99
Management und Wirkungen von Marke-Kunden-Beziehungen im Konsumgterbereich
$69.99
Pulmonary Function
$84.99
Inequalities
$84.99
Gewinn- und Kapitalbeteiligung
$59.95
Cellulose: Biosynthesis and Structure
$109.99
Life Cycle Assessment of Renewable Energy Sources
$109.99
Usborne Fingerprint Activity Book - Dinosaurs
$13.18
Der Einfluss der Werbespotgestaltung auf das Social Media Engagement von Konsumenten
$64.99
Diplomacy
$37.99
New Work, Neues Arbeiten virtuell und in Prsenz
$49.99
A Proof Theory for Description Logics
$54.99
Information and Communication Technology
$84.99
Lassalles Briefwechsel aus den Jahren seiner Arbeiteragitation 18621864
$59.99
Schalt- und Ausgleichsvorgnge in elektrischen Netzen
$149.99
Kunden frs Leben
$74.99
Klinische Physiologie
$59.99
Exit Polls und Hybrid-Modelle
$34.99
