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
Englands Time of Crisis: From Shakespeare to Milton
$39.99
Das Atomkraftwerk in der Elektrizittswirtschaft
$54.99
The Super-Evolution of Semiconductors
$54.99
Earthquakes Induced by Underground Nuclear Explosions
$54.99
The Sustainable Global Marketplace
$169.99
Organisationsstrukturen Industrieller Grobetriebe
$59.99
Barnacle is Bored
$5.96
Contactless System for Measurement and Evaluation of Machined Surfaces
$54.99
Selected Atlases of Bone Scintigraphy
$84.99
The Freewill Question
$54.99
Languages, Compilers and Run-Time Systems for Scalable Computers
$129.00
Die Aufwertungskrise
$59.99
Everest: The Contest
$5.99
The Geology of Germany
$109.99
World Atlas of Submarine Gas Hydrates in Continental Margins
$229.00
Mathematik als Wissenschaft in der Gesellschaft
$64.99
Smart Multimedia
$89.99
Relativistic Quantum Theory of Atoms and Molecules
$259.00
Cancer Registry
$109.99
Predictor Feedback for Delay Systems: Implementations and Approximations
$89.00
Suicide: Phenomenology and Neurobiology
$129.00
Field Theory Handbook
$169.99
High Energy Phenomena Around Collapsed Stars
$129.00
Forest Decline and Ozone
$219.99
Gradient Flows
$39.99
Digitized Statecraft in Multilateral Treaty Participation
$159.99
Critical Infrastructure Protection XVII
$89.99
Trauma, Resilience, and Health Promotion in LGBT Patients
$139.99
Nutrition in Neurologic Disorders
$119.99
Fremde hnlichkeiten
$59.99
Transnational Evaluation of Constitutions
$79.99
The Analysis, Communication, and Perception of Risk
$329.99
Diabetes and Cardiovascular Disease
$54.99
Methods in Epidemiology
$169.99
Biosystems Engineering II
$129.00
Initial Public Offerings: Findings and Theories
$109.99
The Transnational Legacy of Jean Piaget
$159.99
The Fractal Geometry of the Brain
$189.00
Einfamilienhaus oder City?
$54.99
Family Business in Gulf Cooperation Council Countries
$119.00
