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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Early Gastrointestinal Cancers

$169.99

Partition Function Form Games

$179.99

Pro Design Patterns in Swift

$49.99

Energy Savings in Agricultural Machinery and Mechanization

$39.99

Frderung von Kindern mit Migrationshintergrund

$59.99

The Jews of Nazi Vienna, 1938-1945

$139.99

How English Became the Global Language

$109.99

Provocative Plastics

$159.99

Kolloidchemie

$59.99

Chemical Modification, Properties, and Usage of Lignin

$169.00

Die Flechten Deutschlands

$59.99

A Modern Approach to Probability Theory

$89.99

Technische Wrmelehre

$49.99

Lernen und Handeln im Lernbro kaufmnnischer Berufsfachschulen

$59.99

The Philosophical Legacy of Behaviorism

$109.99

Quantitative Methoden 2

$9.99

Self-Feeling

$79.99

Vergleich und Leistung in der funktional differenzierten Gesellschaft

$49.99

Kavalkade

$59.99

Congenital Heart Defects

$39.99

The Role of AI in Bio-Medical Translations Research for the Health Care Industry

$64.99

Dienstleistungscontrolling in Gesundheitseinrichtungen

$49.99

Earthquake Science and Seismic Risk Reduction

$54.99

Physik fr technische Berufe

$39.99

Interventional Neuroradiology

$139.99

KFA Die Konfigurationsfrequenzanalyse

$39.99

The Post-war Novel and the Death of the Author

$129.99

A Compact Course on Linear PDEs

$44.99

ber Bodenverformungen bei stark gestrtem und mchtigem, wasserfhrendem Deckgebirge im Aachener St

$59.99

Gewerbesteuer

$49.95

Software Language Engineering

$54.99

Foundations of Solid Mechanics

$219.99

Bchis Monadic Second Order Successor Arithmetic

$49.99

Superhombre Mosca (Fly Guy #2)

$2.99

Prison Inmates Living with HIV in India

$54.99

Reinforcement Learning of Bimanual Robot Skills

$84.99

Fast Start Integral Calculus

$37.99

Cardiac Anaesthesia: Problems and Innovations

$169.99

Industriebetriebslehre

$69.99

Rheumatic Fever

$39.99