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 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
Das lebendige Universum
$39.99
Seismic Surface Waves in a Laterally Inhomogeneous Earth
$39.99
Unlocking Blockchain on Azure
$44.99
IT-Revision, IT-Audit und IT-Compliance
$39.99
Krperschall
$79.99
Osteomyelitis of the Foot and Ankle
$129.99
The Theory of Epistemic Fields
$179.99
Globalization in the Twenty-First Century
$54.99
Die Unternehmensmarke in den Geschftsbeziehungen von Medienunternehmen
$69.99
kologische konomie
$74.99
The SlovakPolish Border, 1918-1947
$54.99
Advances in Smart Medical, IoT & Artificial Intelligence
$249.99
Orphan G Protein-Coupled Receptors and Novel Neuropeptides
$219.99
Personalbeurteilung
$69.95
Morphotectonics
$109.99
Die chemische Untersuchung und Beurtheilung des Weines
$59.99
Republican Principles in International Law
$109.99
Constraint Databases and Applications
$39.99
Mechanisms of Systemic Regulation
$84.99
Das Aussagenkonzept der IFAC
$74.99
Eat Your Heart Out- All-Fun, No-Fuss Food to Celebrate Eating Clean by Daphne Oz
$30.00
Webster's Notebook Thesaurus Classroom Set
$73.00
Ground Improvement Techniques
$249.99
The Managerial Implications of Microelectronics
$44.99
Religious Ethics in a Time of Globalism
$54.99
EJB Reviews 1989
$84.99
Object-Process Methodology
$99.99
Reversible Digital Watermarking
$29.99
Engineering Compendium on Radiation Shielding
$119.99
Sensoren fr die Produktionstechnik
$44.99
Einfhrung in die Kategorientheorie
$29.99
Pronunciation Instruction in English for Academic Purposes
$179.99
Repressiv getrennt oder organisch verbndet
$59.99
Improving Supply Chains in the Oil and Gas Industry
$84.99
Engineering to Adapt
$199.99
Difference Gel Electrophoresis
$249.99
EBO Experimental Biology Online Annual 1996/97
$84.99
Quantum Probability and Applications V
$54.99
Chinese Market Gardening in Australia and New Zealand
$79.99
Kinder- und Jugendgynkologie fr die pdiatrische Praxis
$59.99
