Cover Image

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Show other versions (1)

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 t...

Full description

Bibliographic Details
Corporate Authors: CAV (Conference) Montréal, Québec), SpringerLink (Online service)
Other Authors: Bochmann, Gregor von, 1941-, Probst, D. K. (David Karl), 1945-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1993.
Series:Lecture notes in computer science ; 663.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
Computer software > Verification.
Electronic digital computers > Evaluation.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.76.E93 C38 1993
 
Call Number Status Get It
QA76.76.E93 C38 1993 Available