عنوان
پدید آورنده
موضوع
رده
TK 7874 .D55 1990
TK
7874
.
D55
1990
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R.I
Name of Publisher, Distributor, etc.
American Mathematical Society
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 628p.: ill., tables
SERIES
Other Title Information
DIMACS series in discrete mathematics and theoretical Computer science; Vol.3
GENERAL NOTES
Text of Note
Proceedings of the second Workshop on Computer Aided Verification, CAV'90
Text of Note
Includes bibliographies
Text of Note
ISBN: 0821865943
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
E.M. Clarke, R.P. Kurshan editors
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Design and construction -- Data processing -- Congresses ، Digital integrated circuits
Entry Element
Congresses ، Computer-aided design
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
7874
.
D55
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Clarke, E. M., 1945-
AU Kurshan, R. P., 1943-
CO Center for Discrete Mathematics and Theoretical Computer Science
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
CAV
