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
Darstellungen und Darstellungswechsel als Mittel zur Begriffsbildung
$89.99
Geronimo Stilton Graphic Novel #4: Last Ride at Luna Park (Hardcover)
$9.74
Fluidized Bed Systems
$169.99
Progress in Regional Cancer Therapy
$84.99
Permeability of Biological Membranes
$84.99
Domain Decomposition Methods in Science and Engineering XXII
$169.99
After Atheism
$54.99
Mapping Biological Systems to Network Systems
$54.99
Die vertragsmssige Doppelwhrung
$59.99
Behavioral Neurobiology of GABAB Receptor Function
$129.00
Elimination Methods in Polynomial Computer Algebra
$39.99
CMOS Current Amplifiers
$129.00
Einfhrung in die Mechanik Akustik und Wrmelehre
$59.99
Territory and State Power in Latin America
$59.99
Applications of Genetic Engineering to Crop Improvement
$109.99
Stories Julian Tells: The Stories Julian Tells
$4.46
Parallel Computational Technologies
$54.99
Residue Reviews
$54.99
Multivariate Analyseverfahren
$44.99
Natur als sozialer Akteur
$64.99
Auszug aus dem Arzneibuch fr das Deutsche Reich
$44.99
Professionelle Altenpflege
$79.99
Memory and Imagination in Film
$54.99
Lyme Borreliosis
$39.99
Modern Hematology
$139.00
Stem Cells
$169.99
Politische Steuerung von Integrationsprozessen
$89.99
Contrast-Enhanced Ultrasound in Pediatric Imaging
$169.99
Integrable Systems and Applications
$39.99
Entrepreneurship Education
$59.99
Advances in Materials, Mechanics and Manufacturing III
$199.99
Precision Process Technology
$39.99
Inventive Computation and Information Technologies
$249.99
Portfolio-Management in Stadtwerken
$17.99
Static Analysis
$39.99
IPO Banks
$49.99
Labster Virtual Lab Experiments: Basic Biology
$29.99
Cultural, Ethnic, and Political Nationalism in Contemporary Taiwan
$54.99
Ecological and Environmental Science & Technology in China: A Roadmap to 2050
$54.99
Evolving Identity Politics and Cross-Strait Relations
$54.99
