Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Technology for Verification and Analysis
Best Price (Coupon Required):
Buy Automated Technology for Verification and Analysis for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Design for TomorrowVolume 1
$169.00
Doing Business in India
$84.99
Algorithmic Applications in Management
$109.99
Redundancy in Mathematical Programming
$109.99
Islamic Philosophy and Occidental Phenomenology in Dialogue
$109.99
Report of the Workshop Predictive Theoretical, Computational and Experimental Approaches for Additiv
$39.99
Interferon and Cancer
$39.99
Kritik in Organisationen
$69.99
Kindler Kompakt: Skandinavische Literatur 20. Jahrhundert
$19.99
Thermal History of Sedimentary Basins
$149.00
Molluscan Shellfish Safety
$84.99
Emerging Contaminants from Industrial and Municipal Waste
$219.99
Advances in Neural Networks - ISNN 2005
$109.99
Allgemein- und Regionalansthesie in der Traumachirurgie
$59.99
Handbuch der chemischen Untersuchung der Textilfaserstoffe
$99.00
Artificial Intelligence Methods and Tools for Systems Biology
$109.99
Pete the Cat-My First I Can Read!: Pete at the Beach
$4.46
The Cult of Authority
$54.99
The Epistemic Benefits of Disagreement
$54.99
Polyurethane Elastomers
$219.99
Several Complex Variables
$54.99
Constructing Leisure
$54.99
Sex Inequalities in Urban Employment in the Third World
$169.99
Semantic Indexicality
$109.99
Kryo-Vakuumtechnik
$59.99
Scholastic Text Sets Grade 4: Complete Set
$489.00
Modeling Decisions for Artificial Intelligence
$54.99
SAP Enterprise Architecture
$29.99
Evolution from Cellular to Social Scales
$129.00
Progress in Botany 70
$219.99
Interrogations, Confessions, and Entrapment
$109.99
Impeding Bullying Among Young Children in International Group Contexts
$129.99
Thomas Jefferson and his Decimals 17751810: Neglected Years in the History of U.S. School Mathemati
$39.99
Health and Social Care Systems of the Future: Demographic Changes, Digital Age and Human Factors
$219.99
Politik und Verfassung
$64.99
Algorithmic Aspects of Cloud Computing
$54.99
The Cellular Automaton Interpretation of Quantum Mechanics
$59.99
Pete the Cat Reader Collection Grades K-2
$22.00
Molecular Mechanisms of Angiogenesis
$169.99
