عنوان
پدید آورنده
موضوع
رده
TK 7888.4 .M43 1993
TK
7888
.
4
.
M43
1993
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
by Kenneth L. McMillan
Subsequent Statement of Responsibility
author
Title Proper
Symbolic model checking
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Kluwer Academic
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 194p.: ill.; 28 cm
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 183-190) and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic digital computers - Circuits - Design - Data processing
Entry Element
Symbolic circuit analysis - Data processing
Entry Element
Logic design - Data processing
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
7888
.
4
.
M43
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
McMillan, Kenneth L.
