عنوان
پدید آورنده
موضوع
رده
TK 7874 .A3353 1991
TK
7874
.
A3353
1991
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Edited by Paolo Prinetto, Paolo Camurati
Subsequent Statement of Responsibility
author
Title Proper
Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 470 p.: ill.; 25 cm
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses
Entry Element
Computer - Aided design--congresses
Entry Element
Computer software--Verification--Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
7874
.
A3353
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
Advanced Research Workshop on Correct Hardware Design Methodologies (1991: Turin, Italy)
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Camurati, Paolo
Entry Element
Prinetto, Paolo
