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
9783642047619
Condition
New
Product Description

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

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

Grundlagen linearer Antriebstechnik

$74.99

Management von Netzwerkorganisationen

$54.99

Modern Mssbauer Spectroscopy

$139.00

Financial Crisis Management and Democracy

$59.99

Cluster-Based Industrial Development

$109.99

Radio Monitoring

$179.99

Theodore von Krmn

$119.99

Proceedings of International Conference on Machine Intelligence and Data Science Applications

$259.00

Numerical Methods of Approximation Theory/Numerische Methoden der Approximationstheorie

$69.99

Statistical Geometry and Applications to Microphysics and Cosmology

$84.99

The Consequences of Alcoholism

$129.00

Educational Aid and National Development

$14.99

Hush Little Baby (Super Simple Board Books)

$6.74

Theory of Translation Closedness for Time Scales

$139.99

Stadtentwicklung mit Stadtmanagement?

$64.99

Machine Intelligence Techniques for Data Analysis and Signal Processing

$299.00

Remote Control Planes

$4.46

Introduction to Functional Analysis

$34.99

Das Wort als Name

$59.99

Single-Particle Structure of 29Mg on the Approach to the N = 20 Island of Inversion

$179.99

Betriebliche Instandhaltung

$109.00

Multiple Stars across the H-R Diagram

$109.99

Gender Negotiations among Indians in Trinidad 19171947

$109.99

Middle Powers and G20 Governance

$54.99

Duration

$44.99

Cognitive Computing of Visual and Auditory Information

$159.99

Kthe-Bochner Function Spaces

$84.99

Regieren im Schatten der Volksrechte

$64.99

Theological Anthropology in the Anthropocene

$119.00

Zuverlssigkeit und Verfgbarkeit

$49.99

Deconstructing True Crime Literature

$119.99

Solid Edge ST5 - kurz und bndig

$19.99

Urban Dominance and Labour Market Differentiation of a European Capital City

$84.99

Jonathan Swift

$169.99

Reflexionswissen zur linearen Algebra in der Sekundarstufe II

$59.99

Grundlagen der Tragwerksplanung

$29.99

Heterotrophic Activity in the Sea

$39.99

Territorialising Space in Latin America

$69.99

The Hero in Contemporary American Fiction

$54.99

Will Miami Survive?

$64.99