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

Service Availability

$39.99

Mathematical Modelling of Physical Systems

$139.99

The Structure of Being in Aristotles Metaphysics

$109.99

Who One Is

$219.99

Reviews of Environmental Contamination and Toxicology

$84.99

NHS Reform and Health Politics in the UK

$129.99

The Pilgrims Guide to the Workplace

$37.99

Micro-computed Tomography (micro-CT) in Medicine and Engineering

$129.99

Cooperative Robots and Sensor Networks

$109.99

Wirtschaftswerbung und die Meinungsfreiheit des Grundgesetzes

$64.99

Genetische Phnomenologie und Reduktion

$129.00

Professionsorientierung in der Lehrerbildung

$59.99

Artificial Intelligence for Environmental Sustainability and Green Initiatives

$219.99

Severance Payment and Labor Mobility

$129.99

An Introduction to Soil Mechanics

$89.99

Untersuchungen der Schleimhaut der oberen Luftwege nach Einwirkung von Umweltnoxen

$54.99

Intelligent Systems for Manufacturing

$219.99

Politics and Theatre in Twentieth-Century Europe

$139.99

Psychotherapie mit lteren bei Sucht und komorbiden Strungen

$29.99

Advances in Computing and Data Sciences

$109.99

Development, Poverty of Culture, and Social Policy

$39.99

Therapeutic Aspects of Nutrition

$54.99

Information Security

$39.99

Lernen und Handeln im Lernbro kaufmnnischer Berufsfachschulen

$59.99

Speech, Audio, Image and Biomedical Signal Processing using Neural Networks

$169.99

Prostaglandins in Cancer Research

$84.99

Berechnung der Leistung und des Dampfverbrauches der Eincylinder-Dampfmaschinen

$59.99

New Horizons of Computational Science

$219.99

Update in Pediatrics

$199.99

High Skill Migration and Recession

$54.99

Geronimo Stilton-Thea Stilton: The Cave of Stars

$6.74

Fruit Trees

$3.71

Management Support Systeme und Business Intelligence

$39.99

Steuercontrolling und Reporting

$39.99

Energy Politics and Schumpeter Dynamics

$54.99

Supersymmetry in Mathematics and Physics

$39.99

Neuroinformatics

$169.99

Computational Processing of the Portuguese Language

$39.99

Physical Virology

$149.00

Surface Acoustic Wave Devices in Telecommunications

$169.99