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 proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Reviews
Questions & Answers
Verhandlungen der Deutschen Gesellschaft fr Innere Medizin
$59.99
Local Cosmopolitanism
$39.99
Oral Delivery of Macromolecular Drugs
$169.99
Victorian Identities
$169.99
Unterschiede und Wandlungen der Regionalen Handelsstruktur
$59.99
Introduction to Celestial Navigation
$159.99
Stratonauts
$44.99
Neue Materialien fr einen realittsbezogenen Mathematikunterricht 8
$29.99
Biodeterioration Research
$219.99
Firm Innovation and Productivity in Latin America and the Caribbean
$23.00
Social Movements in Politics
$54.99
Das Buch des Goethe-Lessing-Jahres 1929
$59.99
Die Hysterese unbehandelter und thermisch vorbehandelter Polyamid 6-Fden
$44.99
The Forgetting: The Knowing
$8.24
Newcastle Disease
$259.00
Insolvenzrecht
$39.99
Introduction to Programming Concepts with Case Studies in Python
$44.99
Transforming Higher Education
$109.99
Ausgerottet oder ausgestorben?
$34.99
Handbook of Quantitative Forest Genetics
$219.99
Economics of Floating Production Systems
$169.99
Fundamentalismus
$59.99
The Jungian Strand in Transatlantic Modernism
$129.99
Real-Time Stability in Power Systems
$109.99
Molecular and Cellular Biology of Neuroprotection in the CNS
$169.00
Primer Effects by Murine Pheromone Signaling
$54.99
Romanticism
$129.00
SARS-CoV-2 Spike Protein Convergent Evolution
$69.99
Autoxidation in Food and Biological Systems
$169.99
Managing Sustainability
$109.99
Gaswerke und Elektrizittsangelegenheiten
$59.99
5. Deutsch-sterreichisch-Schweizerische Unfalltagung in Berlin
$69.99
Kenneth Warren and the Great Neglected Diseases of Mankind Programme
$29.99
Pedagogical Innovation for Children's Agency in the Classroom
$169.99
Refugees and Forced Migration in the Horn and Eastern Africa
$139.99
Mittendrin und nicht dabei
$79.99
Schizophasie in Linguistischer Deutung
$59.99
Social Networks and Family Formation Processes
$54.99
Das Streifenpaar als neues System zur mechanischen Vergrerung kleiner Verschiebungen und seine t
$49.99
Einfhrung in die Elektronentheorie organischer Verbindungen
$69.95
