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
Psychologische Erkenntnisse in Tageszeitungen
$39.99
Bild und Wort zur Suglingspflege
$59.99
European Union and NATO Expansion
$54.99
Geldwscheprvention im Markt
$29.99
Hybride Wettbewerbsstrategien
$44.99
Wacky and Wonderful Misconceptions About Our Universe
$34.99
The Psychobiology of Childhood
$54.99
Energie und Rohstoffe
$29.99
A Transnational Analysis of Representations of the US Filibusters in Nicaragua, 1855-1857
$54.99
To Be Born
$29.99
The Employment Effects of Technological Change
$39.99
Border Crises and Human Mobility in the Mediterranean Global South
$159.99
Emotion Regulation and Well-Being
$169.99
Performing Utopias in the Contemporary Americas
$109.99
Zeitungsverlage zu neuem Wachstum fhren
$29.99
Psychiatry for Neurologists
$169.00
Chladni und die Entwicklung der Akustik von 17501860
$89.99
Neutron Physics
$39.99
Contaminant Geochemistry
$169.99
Kooperation als Strategie
$69.95
Multidimensionales Restrukturierungsmanagement
$79.99
Vergtung Integrierter Versorgungsstrukturen im Gesundheitswesen
$79.99
Advancements in Complex Analysis
$109.99
Classical and Quantum Cosmology
$69.99
Recent Advances in Constraints
$39.99
Fundamental and Applied Scientific Research in the Development of Agriculture in the Far East (AFE-2
$279.99
The Risk of Downward Mobility in Educational Attainment
$39.99
Quantum Hybrid Electronics and Materials
$169.99
Frankreich stellt die Uhren um
$59.99
Logicism, Intuitionism, and Formalism
$229.00
Pout-Pout Fish: Haunted House
$3.71
Big Data Analytics for Cyber-Physical System in Smart City
$379.99
Advances in Signal Processing and Communication Engineering
$219.00
Mathematical Methods for Curves and Surfaces
$39.99
Calculus for Computer Graphics
$44.99
The Nested Universal Relation Database Model
$39.99
Mom the Chemistry Professor
$109.99
Machine Learning and Information Processing
$219.99
Brikettierungsversuche zur Erzeugung von Mllerbriketts unter Verwendung von Braunkohle
$59.99
Individualisierung und soziologische Theorie
$49.99
