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

Strategisches Management im Konjunkturzyklus

$49.99

Unter Druck

$59.99

Pediatric Skeletal Trauma

$169.99

Forest and Rangeland Soils of the United States Under Changing Conditions

$49.99

Multimedia Security

$199.99

The Science of Solar System Ices

$219.99

The Development of the Vertebrate Retina

$54.99

Metakritik der Formalen Logik

$69.99

Manipulation von Abgaswerten

$59.99

Basic Concepts in Digital Signal Processing for Seismologists

$39.99

Respiration and Emotion

$84.99

Integrin and Cell Adhesion Molecules

$169.99

Analytical and Stochastic Modelling Techniques and Applications

$39.99

Wie auf Liebe basierte Fhrung funktioniert

$69.99

Experiments and Numerical Simulations of Diluted Spray Turbulent Combustion

$219.99

Lentivirus Gene Engineering Protocols

$79.99

Beginning Adobe Experience Design

$54.99

One-Dimensional Finite Elements

$119.99

Science and Technology in the Age of Hawthorne, Melville, Twain, and James

$54.99

Physiological Ecology of the Alpine Timberline

$84.99

Lifestyle Medicine

$89.00

Context Business

$49.99

AETA 2013: Recent Advances in Electrical Engineering and Related Sciences

$329.99

Bioengineering Approaches to Pulmonary Physiology and Medicine

$84.99

Elements of International Economics

$54.99

Value Based Performance Measures

$54.99

Iron Metabolism

$84.99

The Moon and How to Observe It

$34.99

Deformable Registration Techniques for Thoracic CT Images

$109.99

Intelligent Decision Making: An AI-Based Approach

$169.99

Signals and Systems in Biomedical Engineering

$109.99

Handbuch der Baugrunderkennung

$139.99

A Primer on Hilbert Space Theory

$49.99

Human Rights and the Separation of State and Religion

$129.99

Fuzzy Quantifiers

$129.00

Movie Analytics

$54.99

Einfhrung in die Kernphysik

$69.99

Physikalische Therapiemanahmen in der Dermatologie

$59.99

Layoutsynthese elektronischer Schaltungen - Grundlegende Algorithmen fr die Entwurfsautomatisierung

$44.99

Planning for Sustainable Urban Transport in Southeast Asia

$109.00