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
Immunoinformatics
$129.00
Full Employment and Social Justice
$159.99
An Introduction to Chemoinformatics
$99.99
Ein univariables konomisches Analyse- und Prognosemodell
$59.99
Aligner Systems in Invisible Orthodontics
$119.00
Literature and Religion in Mid-Victorian England
$39.99
Handbook on Scheduling
$169.00
Digital Transformation of Collaboration
$119.99
Controlling & Innovation 2019
$29.99
Malaria Vaccines
$84.99
Noodleheads: Noodleheads See the Future
$5.21
7 Keys to Research for Writing Success
$14.24
Abstract Objects
$159.99
Defending India
$29.99
Die Weltmchte und Deutschland
$89.99
Competition in a Consolidating Environment
$109.99
Data-driven Retailing
$39.99
Who Governs?
$89.00
Graphs and Matrices
$84.99
Wetland Techniques
$109.99
Multimarket Contact and Organizational Design
$59.99
Physics of Oscillations and Waves
$64.99
Systems Development Methods for Databases, Enterprise Modeling, and Workflow Management
$219.99
Transactions on Petri Nets and Other Models of Concurrency II
$39.99
Chicken Soup for the Preteen Soul- Stories of Changes, Choices and Growing Up for Kids Ages 9-13 by Jack Canfield
$16.95
The Historiography of the First Russian Antarctic Expedition, 181921
$99.99
Junior Learning Blend Readers Fiction Learning Set
$21.99
Eurasian Business Perspectives
$169.99
The International Constraints on Regime Changes
$39.99
Drug Education in Schools
$109.99
Thermo-Fluid Dynamics of Two-Phase Flow
$229.00
Pup and Dragon: How to Catch an Elf
$5.99
The Lion's Share
$5.21
Numerical Linear Algebra and Matrix Factorizations
$79.99
Opportunistic Mobile Networks
$54.99
The Bad Seed Collection Grades K-2
$26.00
Konfliktmanagement und Unternehmenserfolg
$59.99
The Comparative Economics of Sport
$109.99
Complex Social Issues and the Perinatal Woman
$79.99
Landslide Science for a Safer Geoenvironment
$329.99
