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

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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

Everyday Friendships

$54.99

Politikverdrossenheit in der Bundesrepublik Deutschland

$59.99

Nanomedicine

$129.00

Computer and Computing Technologies in Agriculture IX

$109.99

The Secret Olivia Told Me

$5.21

Retroviruses 4

$84.99

Molecular Bioenergetics and Macromolecular Biochemistry

$84.99

The External Sector of Africa's Economy

$109.99

Evidenzbasierte Medizin in Ansthesie und Intensivmedizin

$74.99

Photographic Atlas of Practical Anatomy I

$74.99

Cyber Security, Cryptology, and Machine Learning

$99.99

Advances in Fatigue Science and Technology

$549.99

Connectomics in NeuroImaging

$54.99

Topics in Cryptology - CT-RSA 2016

$39.99

Harvesting Solar Energy

$54.99

Lebensstile und Nachhaltigkeit

$64.99

Gefahren der Marknagelung im Schock

$69.99

Artificial Intelligence in Theory and Practice

$169.99

Trust and Inclusion in AI-Mediated Education

$169.99

Graphical Methods for the Design of Experiments

$119.99

Computational Fluid Dynamics 2000

$169.99

Phenological Research

$329.99

Effective Front-End Strategies to Reduce Waste on Construction Projects

$54.99

Netzplantechnik

$59.99

Mechanics of Elastic Structures with Inclined Members

$84.99

Fortschritt in den Wirtschaftswissenschaften

$99.00

The Awakening Desert

$109.99

Diversity in Uniform?

$49.99

Digestive System Diseases

$179.99

Energy Balance in Motion

$54.99

Linienspektren

$69.99

Grenzberschreitende Kooperationen

$59.99

The Urban University and its Identity

$109.99

Earth Satellites

$19.50

Causation in Population Health Informatics and Data Science

$109.00

Gerhart Hauptmann

$59.99

Data Mining

$84.99

Hchstdruck-Hochtemperatur-Synthesen, ihre Methoden und Ergebnisse. Chemie und Genetik

$59.99

Regenerative Biology of the Spine and Spinal Cord

$169.99

Handbook of Multiple Sclerosis

$39.99