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
Human Chromosome Atlas
$139.00
RF and Microwave Microelectronics Packaging
$129.00
Motivationstypen in der Bildungsmigration
$59.99
From the Inside Out
$74.99
The Global Thermohaline Paleocirculation
$129.00
Doctoral Supervision in Southern Africa
$59.99
Investment Appraisal
$84.99
Curious George: Curious George in Follow That Hat!
$4.46
Sure Basen Indicatoren
$79.99
Microscopie lectronique sous haute tension. Lastronomie des hautes nergies
$59.99
Rassismusbedingter Stress in Deutschland
$69.99
Arabidopsis Protocols
$249.99
National Geographic Kids: Great Migrations: Whales
$4.46
Exploring the Martian Moons
$29.99
Variational Methods in Partially Ordered Spaces
$89.99
Twin-Screw Extruders
$54.99
Economic, Environmental, and Health Tradeoffs in Agriculture: Pesticides and the Sustainability of A
$219.99
History of Machines for Heritage and Engineering Development
$39.99
Augmented Marked Graphs
$54.99
Changing Ireland
$54.99
Supervision in the Legal Profession
$84.99
Qualitt im Grundschulunterricht
$39.99
Beginning Microsoft Word 2010
$24.99
Enterprise Ontology
$219.99
The Unicorn Rescue Society: The Creature of the Pines
$5.99
Plant Biotechnology: Recent Advancements and Developments
$169.99
Problematic Soils and Geoenvironmental Concerns
$219.99
Pro PowerShell for Amazon Web Services
$39.99
Green IT Engineering: Concepts, Models, Complex Systems Architectures
$84.99
Assessment of Manganese Nodule Resources
$54.99
Climate Change, Energy Use, and Sustainability
$44.99
Complexity and Real Computation
$39.99
Marina Carr
$69.99
Sepsis and Organ Dysfunction
$109.99
The Great Power Struggle in East Asia, 1944-50
$54.99
Behavioral Health Promotion and Intervention in Intellectual and Developmental Disabilities
$129.00
The Physics of Laser Plasmas and Applications - Volume 2
$99.99
Gleichgewichtsthermodynamik
$74.99
Mathematical Enculturation
$179.99
Testosterone: From Basic Research to Clinical Applications
$54.99
