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

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Lige, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.

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

A Rumor about the Jews

$69.99

Medical Image Computing and Computer Assisted Intervention MICCAI 2023

$109.00

Verhllung und Entblung

$59.99

Professional Development for Inquiry-Based Science Teaching and Learning

$159.99

Quantum Crystallography: Expectations vs Reality

$59.99

Lehrbuch der Mathematik fr Volks- und Betriebswirte

$69.95

Advances in Computational Intelligence

$39.99

Extracellular Matrix Protocols

$79.99

Privatsache Kind Privatsache Beruf

$59.99

Natrliche Kognition technologisch begreifen

$69.99

Das Glck, Mathematiker zu sein

$89.99

Embedded and Real-Time Operating Systems

$79.99

Erhebungstechniken

$59.99

Systemtheorie fr Coaches

$17.99

The World of the Japanese Mind

$54.99

Empathy in the Context of Philosophy

$54.99

Educational Research with Our Youngest

$109.99

Studium der Umweltwissenschaften

$59.99

Diagnostics Development on the Route Towards Fusion Reactors

$169.99

State in Socialist Society

$44.99

Probleme? Hhere Mathematik!

$54.99

Die Stereoskopie

$59.99

Management der Marketing-Kommunikation

$69.99

Operations Research Proceedings 1999

$132.00

Local Governments and Climate Change

$219.99

Static Analysis

$69.99

Nonlinear Control in the Year 2000

$169.00

Lie Groups and Quantum Mechanics

$29.99

Resources, Co-Evolution and Artifacts

$109.99

Narwhal

$5.21

S3-Leitlinie Posttraumatische Belastungsstrung

$29.99

Postoperative Epidural Opioids

$109.99

Applied Cryptography and Network Security

$79.99

Rising Voices: Elevating Latino Stories, Grade 1

$634.95

The Ecological Status of European Rivers: Evaluation and Intercalibration of Assessment Methods

$219.99

Team Performance in Health Care

$109.99

Schwermetallresistenz und Mineralstoffhaushalt

$59.99

Grown by Tiffany D. Jackson

$11.99

Neural Information Processing

$54.99

Women Phenomenologists on Social Ontology

$139.99