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 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 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
Die physikalischen Grundlagen der Anwendung radioaktiver oder stabiler Isotope als Indikatoren
$69.99
Object-Process Methodology
$99.99
Anreizsysteme zur Unternehmenssteuerung
$69.99
Modeling and Dynamics Control for Distributed Drive Electric Vehicles
$119.99
Transnationale Klima- und Energie-Governance
$69.99
The Research Interview
$54.99
Spiritualitt als Resilienzfaktor in Lebenskrisen
$17.99
Unequal Exchange and the Evolution of the World System
$44.99
Qualitative Motion Understanding
$129.00
Virus and Virus-like Diseases of Major Crops in Developing Countries
$219.99
Contemporary Fiction and the Uses of Theory
$39.99
Isotopic Landscapes in Bioarchaeology
$99.00
Vocational Learning
$109.99
Wettbewerbsvorteile durch Wissen
$49.99
Mitochondrial Disorders
$109.99
Anthology of Philosophical and Cultural Issues
$54.99
Spray-Paint Mystery: The Case of the Missing Trophy
$4.46
The Varieties of Orthographic Knowledge
$169.99
Contemporary Thinking on Transdisciplinary Knowledge
$69.99
Things That Go Wipe-Clean Activity Book
$7.49
Black Swan Start-ups
$139.99
Coordinate Systems for Games
$49.99
Restaging Feminisms
$59.99
The Philosophy of Time
$84.99
Nutrition and Skin
$169.99
Computer Security and the Internet
$69.99
Detergents
$99.00
Graph Data Management
$54.99
Happiness, Technology and Innovation
$59.99
Zeit im Management
$59.99
Gender, Lifespan and Quality of Life
$109.99
ber die Bedeutung der Redoxkatalysatoren fr Bakterien und Bakterienenzyme, unter besonderer Berck
$59.99
Nexus Network Journal 12,3
$54.99
Hochfrequenztechnik 1
$69.99
Business Processes
$29.99
ffentliche Finanzen und Verhaltenskonomik
$49.99
Power and Imbalances in the Global Monetary System
$54.99
Hydrodynamics of Explosion
$169.99
Shaping British Foreign and Defence Policy in the Twentieth Century
$129.99
Habitat Structure
$39.99
