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

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Lige, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.

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

Investitionsrechnung in der ffentlichen Verwaltung

$49.99

Pete the Cat-My First I Can Read!: Pete's Big Lunch

$4.46

Change Management und Mitarbeiterbefragungen

$44.99

Dialectics of Love in Sartre and Lacan

$129.99

Forecasting with Exponential Smoothing

$159.99

Peripherally Inserted Central Venous Catheters

$159.99

Plant Nutrition for Sustainable Food Production and Environment

$259.00

Poetry and Popular Protest

$39.99

Management of Recreation and Nature Based Tourism in European Forests

$109.99

Control of the Gravitational Wave Interferometric Detector Advanced Virgo

$129.99

The United Nations

$54.99

Advanced Practice in Mental Health Nursing

$64.99

Homological and Computational Methods in Commutative Algebra

$109.99

Synchronization in Networks of Nonlinear Circuits

$54.99

Percutaneous Intervention for Coronary Chronic Total Occlusion

$119.00

Global Security in Times of Covid-19

$159.99

On the Uses of the Fantastic in Modern Theatre

$54.99

Extramural Shakespeare

$39.99

Improved Performance of Materials

$109.99

Valuation and Volatility

$99.99

The Future of Inclusive Education

$109.00

Digitalisierung und Nachhaltigkeit Transformation von Geschftsmodellen und Unternehmenspraxis

$69.99

The Human Side of Engineering

$39.99

Relational and Algebraic Methods in Computer Science

$64.99

Residue Reviews

$39.99

Chinas Economic Gene Mutations

$109.99

Knowledge and Politics

$109.99

Field-Programmable Gate Array Technology

$169.99

Stress and Orality

$109.99

Rorty and Kierkegaard on Irony and Moral Commitment

$54.99

Simulation and Modeling Methodologies, Technologies and Applications

$219.99

Methodische Grundlagen der Umfrageforschung

$39.99

Value Theory

$84.99

Optimization of Distributed Parameter Structures - Volume II

$54.99

Reverse Psychology Marketing

$39.99

New Frontiers in Applied Data Mining

$54.99

Young Homicide Offenders and Victims

$84.99

Mathematical and Statistical Approaches for Anaerobic Digestion Feedstock Optimization

$39.99

Application of Troubleshooting Tools in the Monitored Production Processes

$169.99

Web and Big Data

$54.99