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

Computer Aided Verification

Computer Aided Verification

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

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Absolute Analysis

$54.99

Nouns and the Morphosyntax / Semantics Interface

$119.00

Recycling, International Trade and the Environment

$109.99

Handbook of Oncobiology: From Basic to Clinical Sciences

$799.99

Integrative Modellierung zum Globalen Wandel

$54.99

Algorithms - ESA 2009

$109.99

Political Economy of Soviet Military Power

$44.99

Nutrition and Immunology

$219.99

Practical Ultrasonography in Obstetrics and Gynecology

$99.00

Asset-Backed Securities

$59.99

Neurosurgical Aspects of Epilepsy

$39.99

Shakespearean Neuroplay

$54.99

Affekt und Zitat

$49.99

Spezialitten und Geheimmittel

$49.99

Mixed Race Identities

$54.99

The Automated City

$159.99

Betriebslehre des Binnenhandels

$49.99

Managing Digital Enterprise

$99.00

Infrastrukturinvestments

$39.99

Applied Discourse Analysis

$59.99

Optimization in Elliptic Problems with Applications to Mechanics of Deformable Bodies and Fluid Mech

$169.99

Einfhrung in die Differentialgeometrie

$49.99

Paleontology in Ecology and Conservation

$109.99

Nahrung und Ernhrung des Menschen

$59.99

Kuwait

$39.99

Programmierte Therapie am Bewegungsapparat

$129.00

Demenz und Palliative Geriatrie in der Praxis

$64.99

Die Politik der Schulklasse

$69.99

The Political Economy of Trade Conflicts

$109.99

Endotherapy in Biliopancreatic Diseases: ERCP Meets EUS

$89.00

The Apologetic Value of Human Holiness

$169.99

Custom in Islamic Law and Legal Theory

$109.99

Promoting Self-Change from Problem Substance Use

$109.99

Institutional and Financial Incentives for Social Insurance

$109.99

Universitten im Wettbewerb

$59.99

Kapitalmarktreaktionen auf Nennwertumstellungen

$59.99

Quick & Easy Strategies for Close Reading and Writing

$14.99

Ice Is Nice: 6-Book Set

$17.75

Placebo Effects: The Meaning of Care in Medicine

$99.99

Parallele Welten der Digitalisierung im Betrieb

$59.99