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

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, processalgebras and calculi, partial orders, and exploiting symmetry.

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

Integrating Functional and Temporal Domains in Logic Design

$84.99

Analyzing Social Media Data and Web Networks

$39.99

Learning Bodies

$109.99

Alternative Medizin im Test

$69.95

Praxisleitfaden Steuerrecht fr Existenzgrnder

$29.99

Machine Learning Algorithms

$79.99

Romanticism and Linguistic Theory

$54.99

Multi-Photon Quantum Information Science and Technology in Integrated Optics

$109.99

Die Picksche Krankheit

$54.99

NAPAW 92

$54.99

Children, Film and Literacy

$39.99

Stahlbeton

$59.99

Flexible Montagesysteme-Konzeption und Feinplanung durch Kombination von Elementen

$69.99

Dengue Haemorrhagic Fever in Thailand

$84.99

Protective Relaying of Power Systems Using Mathematical Morphology

$199.99

Die Jahr-2000-Krise

$69.99

Effiziente Marketingkampagnen Erfolgsfaktoren von Effie-Gewinnern

$44.99

Color It Orange

$5.21

Crop Breeding

$89.00

Artistic Utopias of Revolt

$54.99

Solar Magnetic Phenomena

$109.99

Wirtschaftsvertrge rechtssicher gestalten

$69.99

C/C++ fr Studium und Beruf

$37.99

Zeitreihenanalyse in den Wirtschaftswissenschaften

$29.99

Scientific Drivers for ESO Future VLT/VLTI Instrumentation

$69.99

Chefsache Management 4.0

$29.99

Edward Bond: A Critical Study

$54.99

Signaling in Plants

$219.99

The Baby-Sitters Club: Mary Anne and the Search for Tigger

$5.24

GAST The Gas-Cooled Solar Tower Technology Program

$109.99

Experimental Methods in Neuropsychology

$84.99

Bio-Inspired Collaborative Intelligent Control and Optimization

$169.99

Conflict and Compromise in East Germany, 19711989

$84.99

Migration and the Search for Home

$79.99

Gelenkgetriebe-Konstruktion

$59.99

Intelligent Interactive Technologies and Multimedia

$54.99

Location- and Context-Awareness

$39.99

Regression Analysis

$54.99

Lehmputze und ihre Anwendungen

$17.99

Diet, Nutrition, and Fetal Programming

$199.99