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
Sensorische Anfallsdetektion bei Epilepsie
$59.99
Wissenschaft unter Beobachtung
$44.99
Konzepte des Coaching
$74.99
Boo Who?
$4.46
CSR und Energiewirtschaft
$39.99
Sustainable and Safe Nuclear Fission Energy
$169.99
Marken erfolgreich gestalten
$34.99
Hegel and the Sciences
$169.00
The Digital Playbook
$49.99
Standards, Stigma, Surveillance
$129.99
Tauberian Remainder Theorems
$29.99
Cognitive Computing ICCC 2021
$44.99
Segment und Lungentuberkulose
$59.99
Metabolic Bone Diseases
$139.99
Regularity and Complexity in Dynamical Systems
$169.99
International Conference on Advancements of Medicine and Health Care through Technology; 5th 7th J
$169.99
Rhodophyta Volume 5
$199.99
Signals and Systems
$109.99
Tadpole - Safari Babies: Giraffe Calves
$5.21
Logic-Based Benders Decomposition
$34.99
Beitrge zur Lehre von der Revision Wegen Materiellrechtlicher Verstsse im Strafverfahren
$59.99
Vierstellige Logarithmentafel
$64.99
Human-Computer Interaction INTERACT 2023
$99.99
Crosland and New Labour
$19.99
Randomized Algorithms for Analysis and Control of Uncertain Systems
$59.99
Fractures and Fracture Networks
$169.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Logic for Programming, Artificial Intelligence, and Reasoning
$54.99
The Biology of the Turbellaria
$219.99
Behandlungsergebnisse von 250 Fersenbeinbrchen
$59.99
BWL fr Mediziner im Krankenhaus
$44.99
Victimology
$159.99
Roads to Higher Dimensional Polytopic Projects
$109.99
Die Arzthaftung
$69.99
Random Coefficient Autoregressive Models: An Introduction
$54.99
A Splintered Vision
$84.99
Social Skills Teaching for Individuals with Autism
$139.99
Carbon Sequestration for Climate Change Mitigation and Adaptation
$299.99
Conducting Polymers, Fundamentals and Applications
$259.00
Application of Muscle/Nerve Stimulation in Health and Disease
$159.99
