Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642243721
Condition
New
Product Description

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Responses to Geographical Marginality and Marginalization

$169.99

SQUID Sensors

$39.99

Theorem Proving in Higher Order Logics

$39.99

Pro Freeware and Open Source Solutions for Business

$34.99

Gleichstromtechnik

$44.99

Hrfunk-Information

$59.99

Organisationskommunikation

$79.99

Proceedings / Parcella 1988

$39.99

Das sowjetische Regierungssystem

$59.99

Big Data Analytics

$39.99

International Trade and Labour Markets

$84.99

Mediaselektion

$64.99

Compliance-Management

$17.99

Of Fish, Fly, Worm, and Man

$39.99

Wohngebudeerneuerung

$99.00

Gender Politics and Mass Dictatorship

$99.00

Quantum Monte Carlo Methods in Physics and Chemistry

$219.99

Das Widerspruchsprinzip in der Neueren Sowjetischen Philosophie

$89.99

German Freedom and the Greek Ideal

$54.99

Hydrometallurgical Process Fundamentals

$169.00

National Innovation Efficiency During the Global Crisis

$84.99

Classroom Friends

$4.46

Predatory Prokaryotes

$169.99

Service-orientierte Geschftsmodelle

$39.99

Graded Finite Element Methods for Elliptic Problems in Nonsmooth Domains

$54.99

Dictionary of Global Climate Change

$39.99

Disaster in the Boardroom

$49.99

Collective Choice

$109.99

Stem Cells and Tissue Repair

$199.99

High Performance Computing Systems and Applications

$129.00

Geophysik Signale aus der Erde

$39.99

Human and Energy Factors in Urban Planning: A Systems Approach

$169.99

Knowledge-Based Systems in Biomedicine and Computational Life Science

$109.99

Giving Death a Helping Hand

$169.99

Chemical, Structural and Electronic Analysis of Heterogeneous Surfaces on Nanometer Scale

$54.99

Phenomenology and Perspectives on the Heart

$139.99

Forensic Imaging of Trauma

$89.00

Trade and Development Policies

$109.99

Birnbaum's 2023 Walt Disney World for Kids by Birnbaum Guides

$12.99

Social Protection and Social Development

$59.99