Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319465197
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Diagnosis and Management of Femoroacetabular Impingement

$139.00

Civic Education and Liberal Democracy

$99.99

The Definitive Guide to Catalyst

$39.99

Praxis der Montagetechnik

$89.99

Die perfekte Produktion

$89.99

Sociology in Germany

$32.99

Bohemia in London

$54.99

Higher Education Regionalization in Asia Pacific

$39.99

Countering Violent Extremism by Winning Hearts and Minds

$109.99

Dreamweaver MX 2004 Design Projects

$39.99

Aufklrung und Einwilligung in der Psychiatrie

$59.99

Normale und pathologische Physiologie der Haut I

$99.99

Mechanical Ventilation in Emergency Medicine

$84.99

Russian-American Relations

$109.99

Einfhrung in die Infinitesimalrechnung

$59.99

Myoblast Transfer Therapy

$54.99

Educational Research in China

$109.99

kologische Moral

$44.99

Systemimmanente Widersprche als Fhrungsaufgabe

$29.99

Proceedings of International Conference on Sustainable Expert Systems

$109.99

A Practical Guide to Verilog-A

$64.99

Software Process Modeling

$109.99

Handbook of Elasticity Solutions

$119.99

Strategien des Personalmarketing

$59.99

Finanzierung in der Sanierung

$74.99

Banishment in the Late Medieval Eastern Netherlands

$59.99

Industry 4.0

$179.99

Aging Hair

$109.00

Cooperative Threat Reduction, Missile Defense and the Nuclear Future

$84.99

Principles of Stellar Interferometry

$169.99

11 Irrtmer ber Marken

$64.99

Computer Science Logic

$84.99

The Global Geometry of Turbulence

$39.99

Infectious Diseases in Solid-Organ Transplant Recipients

$129.99

Transactions on Edutainment XV

$39.99

US Power in International Finance

$39.99

Kommutatorkaskaden und Phasenschieber

$59.99

Industrializing Antebellum America

$54.99

Light and Matter Ic / Licht und Materie Ic

$74.99

The Mathematics of Blunt Body Sampling

$109.99