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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Chiral Four-Dimensional Heterotic String Vacua from Covariant Lattices
$109.99
The Language of Interstate Relations
$39.99
Trajectories in Oceanography
$169.99
Keynes as an Economist, World System Planner and Social Philosopher
$109.00
Computer Network Security
$39.99
Advances in Comparative Immunology
$299.99
Order of East Asia
$84.99
27th International Meshing Roundtable
$109.99
The Impact of Service Oriented Architecture Adoption on Organizations
$54.99
Landscape Pattern Analysis for Assessing Ecosystem Condition
$169.99
Institutionen, Normen, Brgertugenden
$59.99
Space-Time Algebra
$129.99
Anglo-American Defence Relations 19391980
$39.99
Wie wollen wir leben?
$24.99
Operations Research and Big Data
$109.99
Bio-Inspired Models of Network, Information, and Computing Systems
$69.99
Biopsychosocial Perspectives on Arab Americans
$179.99
From Pearl Harbor to Hiroshima
$169.99
Kompetenzlehre internationaler Organisationen
$99.00
The Mango Genome
$199.99
Living and Dying in a Virtual World
$84.99
Contesting Stories of Childhood Sexual Abuse
$39.99
Disaster Management and Information Technology
$139.99
Handbook of Intellectual and Developmental Disabilities
$249.99
Seminaire de Probabilites XXVIII
$34.99
Tulane University Ring and Operator Theory Year, 1970-1971
$34.99
Trade Secrets Legal Protection
$179.99
H2H Marketing
$44.99
Dermatophytes and Dermatophytoses
$169.99
Der aufdringliche Text
$49.99
Educating Adolescents Around the Globe
$159.99
Mikromechanik
$44.99
Nonlinear Optics and Laser Emission through Random Media
$39.99
Soccermania / Futbolmana
$5.99
Data Mining for Scientific and Engineering Applications
$219.99
Laser Material Processing
$79.99
Web Reasoning and Rule Systems
$39.99
Preventive and Predictive Genetics: Towards Personalised Medicine
$169.99
Kindernotfall-ABC
$29.99
Sustainable Development of Sea-Corridors and Coastal Waters
$109.99
