Cover Image

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Show other versions (1)

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of metho...

Full description

Bibliographic Details
Corporate Authors: CAV (Conference) Ålborg, Denmark), SpringerLink (Online service)
Other Authors: Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1992]
Series:Lecture notes in computer science ; 575.
Subjects:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
Computer software > Verification.
Electronic digital computers > Evaluation.
Computer science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special Purpose and Application-Based Systems.
Mathematical Logic and Foundations.
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 1991
 
Call Number Status Get It
QA76.76.E93 C38 1991 Available