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

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

PowerShell for Beginners

$54.99

The Muslim Brotherhood in Kuwait

$129.99

Handbook of Bioenergy

$109.99

Variational Analysis of Regular Mappings

$159.99

Machine Learning for Cyber Security

$129.99

Principles of Distributed Systems

$39.99

Trends in Artificial Intelligence and Computer Engineering

$249.99

Ausnahmebehandlung im Workflow-Management

$59.99

Proceedings of the 11th International Symposium on Heating, Ventilation and Air Conditioning (ISHVAC

$219.99

Word Art + Gesture Art = Tone Art

$179.99

Zwischen Sozialisation und Selektion

$84.99

Novel Strategies in the Design and Production of Vaccines

$169.99

New Developments in Mode-Water Research

$109.99

Variability of Active Galaxies

$84.99

Biodiversity of Seaweeds in the Egyptian Marine Waters

$99.00

Krankenpflegelehrbuch

$54.99

Applications of Location Analysis

$109.99

Analytische Psychotherapie zwischen 18 und 25

$49.99

Riskante Entscheidungen und Katastrophenpotentiale

$44.99

Digital Storage in Consumer Electronics

$109.00

The Competitive Advantage Period and the Industry Advantage Period

$39.99

Die Neuorganisation der Krankenversicherung

$59.99

Experiences with Financial Liberalization

$84.99

International Capital Mobility and External Account Determination

$109.99

Teilhabe eine Begriffsbestimmung

$39.99

Lebesgue Points and Summability of Higher Dimensional Fourier Series

$159.99

Light Scattering Spectra of Solids

$84.99

Amelia Bedelia Joins the Club

$4.46

"Querdenker"

$17.99

Science and Technology of Polymer Colloids

$54.99

Nanostructure Science and Technology

$109.99

Reasons Why Not

$69.99

Spirits of the Tarot- From The Cups' Abundance to The Magician's Creation, 78 Cocktail Recipes Inspired by the Tarot by Thea Engst

$18.99

Context-Enhanced Information Fusion

$99.00

Surgical Disorders of the Peripheral Nerves

$219.99

Neurophenotypes

$129.99

Luft- und Gastafeln zur Berechnung von Gasturbinen und Verdichtern

$69.99

Dynamic Games in Economics

$109.99

Advances in Structural EngineeringOptimization

$149.00

Eltern als Therapeuten

$54.99