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:
Buy Automated Technology for Verification and Analysis for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Reviews
Questions & Answers
Die stille Macht
$44.99
bungsbuch Physik fr Mediziner
$14.99
Topics in Nonlinear Analysis
$129.00
Investmentsteuerrecht
$54.99
Handbook of Democratic Government
$54.99
Elektrophysiologie der Pflanzen
$69.99
Care Loops and Mobilities in Nordic, Central, and Eastern European Welfare States
$129.99
Business and Consumer Analytics: New Ideas
$379.99
Advances in Usability and User Experience
$219.99
Reproduction in the Female Mammal
$54.99
Migrants, Immigration and Diversity in Twentieth-century Northern Ireland
$139.99
British Romanticism, Climate Change, and the Anthropocene
$59.99
Organism, Medicine, and Metaphysics
$109.99
Drugs, Alcohol, Pregnancy and Parenting
$129.00
Capabilities, Allocation and Earnings
$109.99
Basic Concepts on 3D Cell Culture
$89.99
Eindimensionale Finite Elemente
$59.99
A Practical Guide to Human Cancer Genetics
$99.00
Salvemos El Planeta
$54.99
Building Information Modeling
$69.99
Compression Anastomosis by Biofragmentable Rings
$109.99
Techniken der offenen Gefchirurgie
$179.00
Business Cycle Synchronisation and Economic Integration
$54.99
Leniewskis Systems
$169.99
Rookie Toddler: Five Little Pumpkins
$5.21
Comprehensive Peacebuilding on the Korean Peninsula
$129.99
Russia and the European Union
$169.99
Computer Vision, Imaging and Computer Graphics Theory and Applications
$89.99
Management of Uncertainty
$109.99
Cell Membranes
$39.99
Projektmanagement treffend verpackt
$69.99
Starthilfe Technische Mechanik
$59.99
Performancemanagement fr serviceorientierte Java-Anwendungen
$29.99
Dynamic Models of Advertising Competition
$84.99
Vom Wert der Wohlfahrt
$59.99
Globalization
$119.00
Titanic Sinks!
$8.21
Integrative Social Work Practice with Refugees, Asylum Seekers, and Other Forcibly Displaced Persons
$119.99
Qualittsbestimmende Prozeparameter beim Einzelpulsbohren mit einem Nd:YAG-Slablaser
$59.99
Knstliche Intelligenz in Wirtschaft & Gesellschaft
$39.99
