Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Computer Aided Verification

Best Price (Coupon Required):
Buy Computer Aided Verification 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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Coastal Upwelling Its Sediment Record

Coastal Upwelling Its Sediment Record

$84.99
Nonlinear Modeling of Solar Radiation and Wind Speed Time Series

Nonlinear Modeling of Solar Radiation and Wind Speed Time Series

$54.99
Einfache lineare Regression

Einfache lineare Regression

$17.99
Best Practices fr die Partizipation in der Produktentwicklung

Best Practices fr die Partizipation in der Produktentwicklung

$17.99
Displaced Femoral Neck Fractures

Displaced Femoral Neck Fractures

$84.99
Against Eurocentrism

Against Eurocentrism

$39.99
Managing Disruptions in Business

Managing Disruptions in Business

$169.99
The Economic Impact of Government Policy on Chinas Private Higher Education Sector

The Economic Impact of Government Policy on Chinas Private Higher Education Sector

$99.00
Constitutional Landmarks

Constitutional Landmarks

$109.00
Die Parteiensysteme Westeuropas

Die Parteiensysteme Westeuropas

$49.99
Paozhi: Die Aufbereitung chinesischer Arzneimittel

Paozhi: Die Aufbereitung chinesischer Arzneimittel

$99.99
Data-Based Methods for Materials Design and Discovery

Data-Based Methods for Materials Design and Discovery

$54.99
Methodenkritik der Germanistik

Methodenkritik der Germanistik

$109.99
Uniqueness of the Injective III1 Factor

Uniqueness of the Injective III1 Factor

$29.99
Computer Analysis of Images and Patterns

Computer Analysis of Images and Patterns

$54.99
Fehlzeiten-Report 2014

Fehlzeiten-Report 2014

$74.99
Soft Computing and its Engineering Applications

Soft Computing and its Engineering Applications

$54.99
Interventional Therapies for Secondary and Essential Hypertension

Interventional Therapies for Secondary and Essential Hypertension

$129.99
Salvemos El Planeta

Salvemos El Planeta

$54.99
The Jews of Moscow, Kiev and Minsk

The Jews of Moscow, Kiev and Minsk

$39.99
Neurogenetics

Neurogenetics

$89.99
Polynomials and Polynomial Inequalities

Polynomials and Polynomial Inequalities

$39.99
Theoretische Anstze der Personalwirtschaft

Theoretische Anstze der Personalwirtschaft

$17.99
Mouse At Night

Mouse At Night

$3.71
BPM - Driving Innovation in a Digital World

BPM - Driving Innovation in a Digital World

$54.99
Effective Statistical Learning Methods for Actuaries I

Effective Statistical Learning Methods for Actuaries I

$39.99
The Bill of Rights in Translation

The Bill of Rights in Translation

$5.96
Instrumente sozial-kologischer Folgenabschtzung im Betrieb

Instrumente sozial-kologischer Folgenabschtzung im Betrieb

$59.99
Zwischen Bescheidenheit und Risiko

Zwischen Bescheidenheit und Risiko

$49.99
Intracellular Lipid Transport

Intracellular Lipid Transport

$169.99
Marketing Issues in Transitional Economies

Marketing Issues in Transitional Economies

$84.99
Algebraic Modeling Systems

Algebraic Modeling Systems

$84.99
Edward Said on the Prospects of Peace in Palestine and Israel

Edward Said on the Prospects of Peace in Palestine and Israel

$54.99
Classical and Advanced Theories of Thin Structures

Classical and Advanced Theories of Thin Structures

$84.99
From Complexity to Simplicity

From Complexity to Simplicity

$59.99
Grumpy Pants

Grumpy Pants

$3.71
Mathematics of Financial Markets

Mathematics of Financial Markets

$49.99
Law, State and Inequality in Pakistan

Law, State and Inequality in Pakistan

$159.99
Mathematical Modeling of Inland Vessel Maneuverability Considering Rudder Hydrodynamics

Mathematical Modeling of Inland Vessel Maneuverability Considering Rudder Hydrodynamics

$84.99
Urologische Rehabilitation

Urologische Rehabilitation

$64.99
previous
next