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

Dispatches from Home and the Field during the COVID-19 Pandemic

$139.99

Security in Computing Systems

$169.99

Elektrische Maschinen

$64.99

Microstructural Parcellation of the Human Cerebral Cortex

$129.00

Heterocyclic Supramolecules II

$219.99

Corporate Security in the 21st Century

$129.00

Botanisch-geologische Spaziergnge in der Umgegend von Berlin

$84.99

Science, Mind and Art

$169.00

Complex Numbers from A to ...Z

$34.99

Grid Resource Management

$39.99

13C-NMR of Natural Products

$169.00

Spectra and Dynamics of Molecules

$49.99

Demokratie Lernen in Berlin

$59.99

Literature, Language and Computing

$169.99

Concise Encyclopedia of Plastics

$259.00

Feelings and Emotion-Based Learning

$99.99

Dreaming of America

$5.21

Anticipating and Assessing Health Care Technology

$54.99

Nachhaltiges Facility Management

$79.99

Diagnosesystem fr steuerungsperiphere Fehler an Fertigungseinrichtungen

$84.99

Computational Methods and Clinical Applications for Spine Imaging

$39.99

Regional Economic Modeling: A Systematic Approach to Economic Forecasting and Policy Analysis

$84.99

Die Netzwerkbibel

$24.99

Origin and Evolution of the Vertebrate Telencephalon, with Special Reference to the Mammalian Neocor

$84.99

Optimization of Leadership Style

$54.99

Modernisierung des ffentlichen Dienstes

$59.99

Die Quellen

$59.99

The United States in the World Economy

$89.00

Integrating Behaviorism and Attachment Theory in Parent Coaching

$69.99

Algebraic, Number Theoretic, and Topological Aspects of Ring Theory

$159.99

Russian Arctic Seas

$109.99

More Explorations in Complex Functions

$84.99

Free Boundary Problems

$109.99

Die Entstehung von Electronic Data Interchange Standards

$39.99

Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery

$279.99

Protein Modules in Signal Transduction

$84.99

Produktvorankndigungen als Marketinginstrument

$69.99

Lehrbuch der Histologie

$54.99

Transposable Elements and Genome Evolution

$169.00

Richtwerte fr eine Platzkostenrechnung in der Gesenkschmiedeindustrie

$59.99