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
Bond-Orientational Order in Condensed Matter Systems
$39.99
Quaternionic Closed Operators, Fractional Powers and Fractional Diffusion Processes
$99.99
Rachen und Tonsillen, Speiserhre, Magen und Darm, Bauchfell
$59.99
Cultural Diversity for Virtual Characters
$54.99
Figuring Animals
$109.99
Windows 8 Apps Revealed Using HTML5 and JavaScript
$19.99
Gulf Cooperation Council Culture and Identities in the New Millennium
$119.99
Recent Advances in Pharmaceutical Innovation and Research
$219.99
Sportinformatik
$34.99
Boundary Theory for Symmetric Markov Processes
$44.99
Mycotoxins and Mycotoxicoses
$169.99
Beyond Storytelling
$74.99
ber einen fr Schwermetalle selektiven Ionenaustauscher
$59.99
Das Grundbuch im Kreditgeschft
$39.99
Advances in Control and Communication
$329.99
Fundamentals of Statistics with Fuzzy Data
$84.99
Race, Capital, and Equity in Higher Education
$54.99
Runaway and Homeless Youth
$39.99
Spatial Knowledge Spillovers and the Dynamics of Agglomeration and Regional Growth
$54.99
Evozierte Potentiale
$54.99
Marktausbreitung neuer Konsumgter
$49.99
Beyond Headscarf Culture in Turkeys Retail Sector
$54.99
Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications
$59.95
ffentliche Meinung und Demoskopie
$59.99
Environmental Advocacy and Local Restorations
$139.99
Behavior of Marine Animals
$84.99
Learn About: The Five Senses: Smelling
$5.24
The VHDL Handbook
$129.00
Manipulative Fallacies in Early America
$54.99
Polysaccharide Based Supercapacitors
$54.99
Cat Kid Comic Club: Collaborations: A Graphic Novel (Cat Kid Comic Club #4): From the Creator of Dog Man (Hardcover)
$18.74
The Messy Lives of Book People by Phaedra Patrick
$16.99
Drones as Cyber-Physical Systems
$129.00
Solarzellen
$69.99
PASCAL User Manual and Report
$54.99
Computer Vision ECCV 2016
$109.99
Norms and Gender Discrimination in the Arab World
$129.99
The Jarrah Forest
$74.99
Motivationsforschung im Weiterbildungskontext
$44.99
Database Issues in Geographic Information Systems
$84.99
