عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47 C38 1993
QA
76
.
76
.
V47
C38
1993
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 422 p. : ill
SERIES
Series Title
Lecture notes in computer science, 663
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer software Verification -- Congresses
Entry Element
Integrated circuits Verification -- Congresses
Entry Element
Electronic digital computers Evaluation -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
76
Classification Record Number
.
V47
C38
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
CO
Entry Element
G. v. Bochmann, D.K. Probst, eds
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
CAV )Conference( )4th : 1992 : Montreal, Quebec(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
