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
Boreout
$17.99
Plasma Physics
$84.99
Beyond Shanghai and PISA
$139.99
Rings, Modules, and the Total
$89.99
EurAfrican Borders and Migration Management
$149.00
Our Sea of Islands
$129.99
The Palgrave Handbook on Rethinking Colonial Commemorations
$189.00
Heterocyclic N-Oxides
$169.00
Das Risiko Gedanken bers und ins Ungewisse
$49.99
River, Coastal and Estuarine Morphodynamics
$279.99
Crystal Structure Determination
$54.99
Vorrichtungen im Werkzeugmaschinenbau
$89.99
Diagenesis: A Quantitative Perspective
$329.99
Tuberculosis in Adults and Children
$24.99
Politische Reprsentation und Partizipation in der Karibik. Kuba, Haiti, Dominikanische Republik im
$39.99
Crossroads of Entrepreneurship
$169.99
Handelsmarketing durch Handelsmarken-Politik
$59.99
Internal Crowdsourcing in Companies
$59.99
Das C++ Kompendium
$44.99
Information Access through Search Engines and Digital Libraries
$84.99
Deutschland und die USA im Steuerwettbewerb
$69.99
Democratization and Competitive Authoritarianism in Africa
$54.99
Computational Science and Its Applications ICCSA 2024 Workshops
$139.99
Creating Change to Improve Science and Mathematics Education
$54.99
Advances in Material Science and Engineering
$89.00
Step Wise Protocols for Somatic Embryogenesis of Important Woody Plants
$109.99
Asteroseismology and Exoplanets: Listening to the Stars and Searching for New Worlds
$89.00
Understanding the Universe
$39.99
Chemical Signals in Vertebrates 10
$219.99
Low-Oxygen Stress in Plants
$129.00
Fungi and Fungal Products in Human Welfare and Biotechnology
$249.99
Intrinsically Disordered Proteins
$54.99
Structural Phase Transitions I
$39.99
Symposium on Presenile Spongy Encephalopathies / Symposium Concernant les Dgnrescences Spongieuse
$109.99
Region - Nation - Europa
$99.00
Pan dulce
$5.21
Elektrokardiographie
$69.99
Culture and the Media in the USSR Today
$19.99
Science Policy, Ethics, and Economic Methodology
$169.99
FME 2002: Formal Methods - Getting IT Right
$84.99
