Copied Computer Aided Verification
Computer Aided Verification
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lectureby Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advances in Nanomaterials
$69.99
Agricultural Policy Analysis
$279.99
Stochastische Geometrie
$69.95
Emotions and The Body in Buddhist Contemplative Practice and Mindfulness-Based Therapy
$59.99
Re-Examining EU Policies from a Global Perspective
$54.99
Theoretische Elektrotechnik
$44.99
Numerical Integration of Space Fractional Partial Differential Equations
$49.99
Reading-Writing Connections
$169.99
HR Governance
$54.99
Depressionen
$84.99
The Imaging of Infection and Inflammation
$129.00
Bad Princess (Hardcover)
$9.74
Advances in Multimedia Information Processing -- PCM 2010, Part I
$84.99
State Transformations in OECD Countries
$54.99
Parents of Children with Autism
$99.99
Experimental Analysis of Insect Behaviour
$109.99
Psychotherapeutische Diagnostik
$79.99
Neurophysiology and Neurochemistry of Sleep and Wakefulness
$39.99
Bat: Bat and the Waiting Game
$5.96
Theory of Function Spaces
$64.99
Automotive Disruption and the Urban Mobility Revolution
$44.99
Ecosystem Function in Heterogeneous Landscapes
$169.99
The Neglected Firm
$64.99
Thoraxdrainagen
$54.99
Digital Filters Using MATLAB
$79.99
Fluid Mechanics and Fluid Power (Vol. 3)
$299.99
Concrete Abstractions
$84.99
Risk and Insurance
$69.99
Microelectronics Packaging Handbook
$219.99
Expression Profiling in Neuroscience
$109.99
Morphologische Abdominaldiagnostik im Kindesalter
$69.99
Limits to The Welfare State
$109.99
Dependable Computing
$39.99
Grorumige Bodenkontaminationen
$84.99
Fission-Track Thermochronology and its Application to Geology
$99.99
Queer Families in Hungary
$84.99
Ergodic Theory and Statistical Mechanics
$19.99
Multigrid Methods IV
$39.99
The Production and Processing of Inorganic Materials
$189.00
Decoding Blockchain for Business
$49.99
