عنوان
پدید آورنده
موضوع
رده
TK 7874 .D553 1990a
TK
7874
.
D553
1990a
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
97653
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
آخر۲۷
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)20(
Title Proper
Computer-aided verification: proceedings 2nd International conference, CAV'90
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, RI; Baltimore, Md.
Name of Publisher, Distributor, etc.
American Mathematical Society; Association for Computing Machinery
Date of Publication, Distribution, etc.
1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 372 p.: ill.; 27 cm
SERIES
Series Title
Lecture notes in computer science
ISSN of Series
531
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Digital integrated circuits-- Computer-aided design
Entry Element
Congresses ، Integrated circuits-- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
7874
.
D553
1990a
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
E. M. Clarke, R. P. Kurshan, editors
AU .M .E ,ekralC 1945-
AU .P .R ,nahsruK 1943-
TI
SE
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
DIAMACS Worshop on computer- Aided Verification )2nd: 1980: Center for Discrete Mathematics and Theoretical Computer Science( )Conference()2nd: 1990: Center for Discrete Mathematics and Theoretical Computer Science(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
02
