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
Jugendliche Angestellte
$59.99
Metzler Lexikon der deutsch-jdischen Literatur
$74.99
Poetry for Young People: Robert Browning
$5.21
Information Retrieval Models
$29.99
Lehrbuch der Analysis. Teil 2
$59.99
Facharztwissen Orthopdie Unfallchirurgie
$109.00
Kudrun: Heldendichtung III
$59.99
Machine Learning
$109.99
Distributed Parameter Systems: Modelling and Identification
$84.99
Residue Reviews / Rckstands-Berichte
$54.99
Lokale Kommunikation
$59.99
Die Vernderung von Synthesefasern durch eine Hitzebehandlung im Vakuum
$54.99
Studies in No-Self Physicalism
$169.99
Cybernetics and Systems 88
$549.99
Professionelles Schreiben fr den Journalismus
$29.99
Numerical Methods in Matrix Computations
$109.99
Companies and Entrepreneurs in the History of Spain
$199.99
Wirtschaftsrecht: Handels- und Gesellschaftsrecht
$29.99
Audio-Visuelle Tropen
$59.99
Hot Work Tool Steel
$39.99
Gender and Migraine
$54.99
Artificial Intelligence and Security
$84.99
iOS Wow Factor
$24.99
Annual Update in Intensive Care and Emergency Medicine 2018
$199.99
Democracy and the European Union
$169.99
Der normale und der atrophische Knochen der unteren Nasenmuschel
$44.99
Biologische Behandlung von Kokereiabwasser und seine Wiederverwendung als Brauchwasser im Kokereibet
$84.99
Ein Nherungsverfahren zur numerischen Berechnung instationrer Temperaturfelder
$59.99
Understanding LTE and its Performance
$109.99
Instructional Scaffolding in STEM Education
$59.99
IUTAM Symposium on Advances in Nonlinear Stochastic Mechanics
$39.99
Lean Management and Kaizen
$69.99
New Trends in Model and Data Engineering
$54.99
F&E-Projektcontrolling
$69.99
Der Mensch und seine Behandlung in der Medizin
$69.99
Informal Justice in Divided Societies
$54.99
Functional and Logic Programming
$54.99
Remembering Sofya Kovalevskaya
$44.99
Protein Supersecondary Structures
$199.99
Politikberatung in der Wissensgesellschaft
$59.99
