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
Continuous and Discontinuous Modelling of Fracture in Concrete Using FEM
$84.99
Neurobiology of Aggression
$249.99
Cyber Security
$109.99
Notflle in Gynkologie und Geburtshilfe
$74.99
Lectures in Abstract Algebra
$89.99
Umweltgeschichte und Kausalitt
$17.99
Fractures of the Hip
$109.99
Parties, Institutions and Preferences
$84.99
V-Invex Functions and Vector Optimization
$54.99
Healthcare Research and Related Technologies
$219.99
Trauma und Burnout in helfenden Berufen
$54.99
Safer Healthcare
$59.99
Neural Development
$84.99
European Responses to Globalization and Financial Market Integration
$169.99
Handbuch der Ernhrung und des Stoffwechsels der Landwirtschaftlichen Nutztiere
$59.99
Formal and Informal Education during the Rise of Greek Nationalism
$99.99
Survival Strategies in Cold-adapted Microorganisms
$279.99
Water Policies in MENA Countries
$69.99
Interaction Control of Robot Manipulators
$129.00
A Course on Integral Equations
$119.00
Transport in Plants I
$84.99
Hello Ocean / Hola mar
$5.96
Medical Writing
$29.99
Chancen sozialorientierter Technikgestaltung
$59.99
Vom Referat bis zur Examensarbeit
$19.99
Die Deutsche Hanse als Mittler zwischen Ost und West
$79.99
Plant pathogenic bacteria
$329.99
Foundational Problems in the Special Sciences
$84.99
Zur Permeabilitt und Salzresistenz einiger Diatomeen des Salzlachengebietes am Neusiedler See
$59.99
Impact of Pesticides on Farmer Health and the Rice Environment
$219.99
Pigment Microbiology
$169.99
Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
$84.99
Approximate and Renormgroup Symmetries
$109.99
Nixie Makes Waves (Mermaids to the Rescue #1)
$5.24
Polarization and Moment Tensors
$89.00
Digital Transformation
$54.99
The Political Role of International Trades Unions
$44.99
Macroeconomic Policy in the Canadian Economy
$109.99
Objects, Components, Architectures, Services, and Applications for a Networked World
$39.99
Cuentos Fonticos (Spanish Phonics Readers): El parque helado
$3.71
