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
Springer Series in Light Scattering
$139.99
Perspektiven und Facetten der Produktionswirtschaft
$84.99
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music
$39.99
Symbolic Asymptotics
$109.99
Analysis of Failure in Fiber Polymer Laminates
$199.99
Corporate Social Responsibility
$119.99
Preschool Geometry
$49.99
Magnetic Properties of Paramagnetic Compounds, Magnetic Susceptibility Data, Volume 7
$379.99
Fundamentals of Hopf Algebras
$64.99
A Robert Louis Stevenson Chronology
$109.99
Cologne Atherosclerosis Conference No. 2: Lipids
$54.99
Systems Practice: How to Act in a Climate Change World
$84.99
Multivariate Time Series Analysis in Climate and Environmental Research
$179.99
Versicherungsvermittler als Beruf
$69.99
Zebrafish Protocols for Neurobehavioral Research
$99.00
Introduction to Focused Ion Beams
$219.99
I Can Build It!
$17.99
Urheberrechtsverletzungen durch Verlinkungen im Internet
$84.99
Requirements Management
$54.99
Proceedings of the 9th International Conference and Exhibition on Sustainable Energy and Advanced Ma
$189.00
Computers Helping People with Special Needs
$54.99
Dark Web Investigation
$179.99
The Keys of Middle-earth
$99.00
Psychologie des Brsenhandels
$74.99
Social Movements and Symbolic Power
$54.99
Poverty and the Production of World Politics
$109.99
Causes, Correlates and Consequences of Death Among Older Adults
$109.99
Jugendkultur 1940 1985
$49.99
Die Belastungsverhltnisse in Fllkrpersulen unter Destillationsbedingungen
$59.99
Opposition und Verteidigungspolitik im gaullistischen Frankreich 19581973
$59.99
Spin Glasses
$34.99
Handbuch Innovative Lehre
$84.99
Advances in Solid State Physics 47
$169.99
Biodiversity of Semiarid Landscape
$84.99
Yearbook of Morphology 1991
$109.99
The Theory of Magnetism II
$39.99
Warenverteilungsplanung
$69.99
AI 2008: Advances in Artificial Intelligence
$84.99
Pattern Recognition and Computer Vision
$59.99
Advances in Soft Computing
$54.99
