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
Neonatal Kidney and Fluid-Electrolytes
$219.99
Neoliberal Urbanism, Contested Cities and Housing in Asia
$79.99
Selected Works of Willem van Zwet
$54.99
Kristy and the Walking Disaster (The Baby-Sitters Club #20)
$5.24
Modular Multilevel Converters with Interleaved Half-Bridge Submodules
$109.00
Post-EEG-Anlagen in der Energiewirtschaft
$34.99
Handbuch der Deutschen Arzneipflanzen
$84.99
Practical Thoracoscopy
$84.99
Moderne Ernhrungstherapie fr die Praxis des Arztes
$59.99
Glossary of Genetics and Cytogenetics
$74.99
Fred Hoyles Universe
$169.99
Buckwheat
$199.99
Sulfate, Chrom, Molybdn, Wolfram, Uran, Haloidsalze und Salzlagersttten
$84.99
Lipids and Skin Health
$129.00
Introduction to Modeling Biological Cellular Control Systems
$54.99
The Social Scientific Study of Exorcism in Christianity
$129.99
Autosolitons
$329.99
Interplay of Creativity and Giftedness in Science
$39.99
Urban Land Economics
$129.00
Das politische System der Bundesrepublik Deutschland
$29.99
Barbarian: Explorations of a Western Concept in Theory, Literature, and the Arts
$89.99
Zauber der Mineralien und Gesteine
$49.99
Stories Julian Tells: The Stories Julian Tells
$4.46
Advanced ASIC Chip Synthesis
$39.99
Organic Chemicals in Natural Waters
$109.99
Cereal Genomics
$269.00
Antihypertensive Therapy
$109.99
Molecular- and Nano-Tubes
$219.99
Building a SharePoint 2016 Home Lab
$39.99
Chaos Modeling and Control Systems Design
$109.99
Information Retrieval Technology
$109.99
Rigid-Flexible Coupling Dynamics and Control of Flexible Spacecraft with Time-Varying Parameters
$109.00
Emerging Topics in Reproduction
$109.99
Physics of Oscillations and Waves
$64.99
Optimization by GRASP
$99.99
Geomicrobiology and Biogeochemistry
$169.99
Praxisbeispiele Stahlbetonbau
$29.99
Sensory Marketing
$69.99
Learning Technology for Education Challenges
$54.99
Nutrigenomics
$139.99
