opac-header

Correct hardware design and verification methods (Record no. 13030)

MARC details
000 -LEADER
fixed length control field 00596nam a22001697a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230323b |||||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency National Science Library
Transcribing agency National Science Library
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number D 681.3.02(082.2)
Item number N3
245 ## - TITLE STATEMENT
Title Correct hardware design and verification methods
Statement of responsibility, etc. / IFIP WG10.2 advanced research working conference CHARME'93 Arles, Frances, 24-26 May, 1993
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London:
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1993
300 ## - PHYSICAL DESCRIPTION
Extent 269p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Hardware
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Milne, George J (Ed.)
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Pierre, Laurence (Ed.)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Universal Decimal Classification
Koha item type Proceedings
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Universal Decimal Classification     National Science Library National Science Library GF/Rk-3/C-22/R-2 19/04/1994   D 681.3.02(082.2) N3 174724 23/03/2023 23/03/2023 Proceedings