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

Bildungswissenschaft in Begriffen, Theorien und Diskursen

$129.99

Agent-Oriented Software Engineering

$39.99

Don't Blow Your Top! (Hardcover)

$13.49

The High Latitude Heliosphere

$39.99

Humankologie

$59.99

World Conference on Computers in Education VI

$259.00

Plug In Electric Vehicles in Smart Grids

$84.99

Probability Inequalities

$89.00

Positivity in Arakelov Geometry over Adelic Curves

$119.00

Zeit in der Bildung zwischen Anthropozentrik und Verzweckung von Wissen

$59.99

Soft Computing: Theories and Applications

$219.99

Dimensions of Practical Necessity

$84.99

Inclusive Smart Cities and e-Health

$39.99

Migration and Stereotypes in Performance and Culture

$119.99

Interactions in the Root Environment An Integrated Approach

$84.99

Verbrennungsmotoren

$49.99

Festigkeitslehre Verstndnisaufgaben

$39.99

Multimedia Signal Coding and Transmission

$169.99

Entrepreneurship Networks in Italy

$54.99

The Proceedings of the 18th Annual Conference of China Electrotechnical Society

$299.00

Diesel Engine Transient Operation

$169.99

Exam Survival Guide: Physical Chemistry

$49.99

Control Performance Assessment: Theoretical Analyses and Industrial Practice

$109.99

RFID

$19.99

Grenzen der Zulssigkeit von Wahltarifen und Zusatzversicherungen in der gesetzlichen Krankenversich

$79.95

Fehlermaskierung durch verteilte Systeme

$69.99

Erfolgreiche Implementierung von Coaching und Mentoring in Unternehmen

$17.99

Vereinfachte Fliezonentheorie

$49.99

Immune Complexes and Human Cancer

$39.99

Information and Human Values

$19.99

Unsteady Effects of Shock Wave induced Separation

$329.99

The Few Body Problem

$219.99

Media and the Cold War in the 1980s

$129.99

Perceiving the Divine through the Human Body

$119.99

Sozialunternehmen

$29.99

Quality and Qualities: Tensions in Education Reforms

$49.99

Convolution-like Structures, Differential Operators and Diffusion Processes

$64.99

XML and Web Technologies for Data Sciences with R

$109.99

Ein praktischer Fhrer fr das Management der dezentralen Datenverarbeitung

$59.99

Advances in One-Dimensional Wave Mechanics

$109.99