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
Die Schweibarkeit weicher Kunststoff-Schaumstoffe
$54.99
Traditionalism and Radicalism in the History of Christian Thought
$39.99
Introductory Tiling Theory for Computer Graphics
$29.99
Advances in Interdisciplinary Practice in Industrial Design
$169.99
Residue Reviews
$39.99
Riverbank Filtration Hydrology
$129.00
Mergers and Efficiency
$169.99
Technology and Application of Environmental and Engineering Geophysics
$84.99
Policing County Lines
$109.99
Die Kalkulation im Schmiedegewerbe
$74.99
Neue Impulse fr eine erfolgreiche Unternehmensfhrung
$59.99
Algorithms and Computation
$84.99
How the Immune System Recognizes Self and Nonself
$179.99
Advances in Electromechanical Technologies
$259.00
New Trends in Kramers Reaction Rate Theory
$84.99
The Galactic and Extragalactic Background Radiation
$109.99
Programming Languages and Systems
$54.99
Evaluating and Applying Decision Models
$169.99
Data Science: New Issues, Challenges and Applications
$179.99
Achievements, History and Challenges in Geophysics
$84.99
Reflected Brownian Motions in the KPZ Universality Class
$64.99
Nuklearmedizin/Nuclear Medicine
$59.99
Magnesium Technology 2013
$149.00
Control and Measurement Applications for Smart Grid
$199.99
Modell- und rekursionstheoretische Grundlagen psychologischer Theorienbildung
$59.99
Agency at Work
$179.99
Transgenic Plants
$219.99
Nonsmooth Vector Functions and Continuous Optimization
$109.99
The Political System of Germany
$79.99
Theologie und Aufklrung
$59.99
Getting to Know the World's Greatest Inventors and Scientists: Lise Meitner
$5.21
Regional China
$109.99
Study of Second Generation High Temperature Superconductors: Electromagnetic Characteristics and AC
$109.99
Materials Development for Active/Passive Components of a Supercapacitor
$54.99
Der Mensch in Zahlen
$49.99
Wood-Water Relations
$179.99
Ottomotorische Verbrennung innerhalb eines Gleichraumverbrennungsmotors
$74.99
Russian Economic Development over Three Centuries
$199.99
Fluidmechanik
$37.99
Computational Discovery of Scientific Knowledge
$39.99
