Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
