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
9783540693390
Condition
New
Product Description

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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

Introduction to Video Game Engine Development

$59.99

Bio-Clean Energy Technologies: Volume 1

$189.00

Building a Trustworthy State in Post-Socialist Transition

$54.99

Process Integration in Biochemical Engineering

$169.00

Money Grade 2 Differentiation Pack

$5.99

RoboCup 2015: Robot World Cup XIX

$54.99

The Implicit Function Theorem

$99.99

Field Theory Concepts

$39.99

Introduction to General Relativity

$54.99

System Engineering and Automation

$84.99

The Foundations of Geometry and the Non-Euclidean Plane

$79.95

Max Weber, Democracy and Modernization

$109.99

The Use of Alternative Benchmarks in Anti-Subsidy Law

$129.99

Solar Cosmic Rays

$255.00

Rock Mechanics

$169.00

Computational Methods for Biological Models

$199.99

Economia Matematica

$29.99

International School Policy Development

$99.00

Antifungal Agents

$84.99

The Old and New A Narrative on the History of the Society for Experimental Mechanics

$22.99

Business Ethics from Antiquity to the 19th Century

$119.99

Trees and Hierarchical Structures

$54.99

Long-Term Care Medicine

$59.99

Quantum Statistical Mechanics in the Natural Sciences

$39.99

Robot Intelligence Technology and Applications 2012

$169.00

Symmetry: Representation Theory and Its Applications

$99.00

Mobility of Knowledge, Practice and Pedagogy in TESOL Teacher Education

$159.99

A Theory of Imagining, Knowing, and Understanding

$54.99

Handbuch Europa in NRW

$54.99

PrestonPlayz- The Mystery of the Super Spooky Secret House by PrestonPlayz

$23.99

Induktions-Regulatoren (Drehtransformatoren) mit selbstttiger Steuerung

$54.99

Informationsgehalt von Credit Ratings

$44.99

Indiscipline in Young EFL Learner Classes

$54.99

The Meeting

$129.00

Developmental Stages in the Rhesus Monkey (Macaca mulatta)

$54.99

Social Movements and the Spanish Transition

$59.99

Advances in Rasch Analyses in the Human Sciences

$169.99

Behavior Genetic Approaches in Behavioral Medicine

$169.99

Finanzwirtschaft in ethischer Verantwortung

$39.99

Formal Description Techniques VII

$219.99