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
Empathetic Memorials
$139.99
Looking into the Eyes of a Killer
$54.99
Drug Research and Drug Development in the 21st Century
$109.99
Current Trends in Dynamical Systems in Biology and Natural Sciences
$129.99
PowerShell and Python Together
$34.99
Theorie und Praxis der Niedertemperaturkonvertierung zur Rezyklisierung von Abfllen. Wertstoff- und
$69.99
Hong Kong as Creative Practice
$49.99
Streiflichter aus der Geschichte der Urologie
$44.99
Die Praxis der Nierenkrankheiten
$44.99
Magnetohydrodynamics in Binary Stars
$129.00
Database Theory ICDT 2007
$54.99
Viva Frida
$4.49
Violence Against LGBTQ+ Persons
$119.99
Forging Chivalric Communities in Malorys Le Morte Darthur
$109.99
Eine Anleitung zum Glcklichsein
$14.99
The New Aspects of Subnuclear Physics
$39.99
Intestinal Failure
$169.99
A Survey of Data Leakage Detection and Prevention Solutions
$54.99
Strafprozerecht
$54.99
Code Breaking in the Pacific
$129.00
Balancing Individualism and Collectivism
$109.99
Privacy Impact Assessment
$219.99
Fostering Collateral Creativity in School Mathematics
$109.00
Issues and Images in the Philosophy of Science
$54.99
Structural, Syntactic, and Statistical Pattern Recognition
$54.99
Critical Infrastructure Protection IV
$39.99
Anleitung zur Bestimmung von Mineralien
$59.99
Subband and Wavelet Transforms
$219.99
D-Modules, Perverse Sheaves, and Representation Theory
$109.99
Emotions and The Body in Buddhist Contemplative Practice and Mindfulness-Based Therapy
$59.99
Writing the Lives of Writers
$109.99
Asymptotic Integration of Differential and Difference Equations
$84.99
Beginning iPhone Development
$39.99
Hydrogeologie
$69.99
Stochastic Abundance Models
$39.99
Exploring the Secrets of the Aurora
$39.99
Fundamentals of Modern Statistical Methods
$99.00
Special Topics in Structural Dynamics, Volume 6
$169.99
Diabetes and Viruses
$129.00
Reincarnation as a Christian Hope
$39.99
