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
Unter Verdacht Rassismuserfahrungen von Rom:nja und Sinti:zze in Deutschland
$59.99
Algorithms and Programs of Dynamic Mixture Estimation
$54.99
Proceedings of the 2015 Chinese Intelligent Systems Conference
$129.00
Design, Technology and Communication in the British Empire, 18301914
$54.99
Was Manager von der Blattlaus Lernen Knnen
$39.99
Mehrwertsteuer
$59.99
Forschung und Entwicklung als Dienstleistung
$79.99
Growth of Crystals
$169.99
Education and Society in Latin America
$54.99
Formnderungen von Stahlbetonsttzen unter exzentrischer Druckkraft
$44.99
Open Source Systems Security Certification
$109.99
Babies on the Move: Dance, Dance, Baby!
$5.21
Nichtmedikamentse Schmerztherapie
$119.99
Video-Marketing mit YouTube
$37.99
Lower Urinary Tract Symptoms in Adults
$79.99
Technological Innovation and Public Policy
$54.99
Faith from a Positive Psychology Perspective
$54.99
Microelectronics
$79.99
Specification and Development of Interactive Systems
$54.99
Introvision als Coachingmethode fr Tinnitusbetroffene
$59.99
Deep Learning for Hydrometeorology and Environmental Science
$129.99
Fluiddynamik von Fllkrpern und Packungen
$84.99
Phenomenology and Treatment of ALCOHOLISM
$54.99
Advances in Nitrogen Fixation Research
$54.99
Distribution Ecology
$169.99
Klassische Feldtheorie der polarisierten Kathodenstrahlung und ihre Quantelung
$69.99
You Are (Not) Small: I Am (Not) Scared
$4.46
The Siege and Relief of Leyden in 1574
$54.99
Cyber-Physical Systems
$159.99
Energy Flows, Material Cycles and Global Development
$119.00
Wearables in Healthcare
$54.99
Classification of Services in the Digital Economy
$109.99
Produced Water
$169.99
My Books Summer & Summer Express Workbook Grade 2 Nonfiction 5-Book Pack
$35.95
Die Klrreaktion
$59.99
Hepatitis C Virus II
$149.00
Die Kraft weiblicher Archetypen
$24.99
Global Gravity Field and Its Temporal Variations
$109.99
Developing Sustainability in Organizations
$169.99
Radiobiology and Environmental Security
$219.99
