Correct hardware design methodologies : (Record no. 72146)

000 -LEADER
fixed length control field 01788cam a2200397 a 4500
001 - CONTROL NUMBER
control field 3907917
003 - CONTROL NUMBER IDENTIFIER
control field CITU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210804051538.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 911202s1992 ne a b 101 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 91046090
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0444893679
040 ## - CATALOGING SOURCE
Original cataloging agency CITU LRAC
Transcribing agency DLC
Modifying agency DLC
Language of cataloging eng
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7874
Item number .A3353 1991
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Edition number 20
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Advanced Research Workshop on Correct Hardware Design Methodologies
Date of meeting (1991 :
Location of meeting Turin, Italy)
245 10 - TITLE STATEMENT
Title Correct hardware design methodologies :
Remainder of title proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991 /
Statement of responsibility, etc edited by Paolo Prinetto, Paolo Camurati.
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Amsterdam ;
Name of publisher, distributor, etc North-Holland ;
Date of publication, distribution, etc c1992.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 470 pages :
Other physical details illustrations ;
Dimensions 25 cm.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term unmediated
Media type code n
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term volume
Carrier type code nc
Source rdacarrier
500 ## - GENERAL NOTE
General note "Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."
500 ## - GENERAL NOTE
General note "Sponsored by Politecnico di Torino."
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Very large scale integration
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer-aided design
General subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Design and construction
-- Data processing
-- Congresses
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Prinetto, Paolo.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Camurati, Paolo.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ESPRIT Basic Research Action 3216 "CHARME".
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Politecnico di Torino.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS
Source of classification or shelving scheme
Item type BOOK
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Full call number Barcode Date last seen Price effective from Item type
          COLLEGE LIBRARY COLLEGE LIBRARY SUBJECT REFERENCE 2001-03-15 PLMP 1.00 23689 621.395 C824 1992 CL-23689 2021-08-04 2021-08-04 BOOK