Hardware verification with SystemVerilog : (Record no. 9578)

MARC details
000 -LEADER
fixed length control field 01109cam a2200301 i 4500
001 - CONTROL NUMBER
control field u89376
003 - CONTROL NUMBER IDENTIFIER
control field SIRSI
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240619145154.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110131 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387717388
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387717382
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7885.7
Item number .M57 2007
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Mintz, Mike. ,
Relator term author
9 (RLIN) 202089
245 10 - TITLE STATEMENT
Title Hardware verification with SystemVerilog :
Remainder of title an object-oriented framework /
Statement of responsibility, etc. Mike Mintz, Robert Ekendahl.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture New York :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2007.
300 ## - PHYSICAL DESCRIPTION
Extent xxii, 314 pages :
Other physical details illustrations ;
Dimensions 26 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
596 ## -
-- 1 3
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Verilog (Computer hardware description language).
9 (RLIN) 244
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated circuits
General subdivision Verification.
9 (RLIN) 3085
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Object-oriented programming (Computer science).
9 (RLIN) 3700
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ekendahl, Robert.
9 (RLIN) 202090
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10164728
b 07-11-22
c 15-03-18
998 ## - LOCAL CONTROL INFORMATION (RLIN)
-- m
Operator's initials, OID (RLIN) 06-11-22
Cataloger's initials, CIN (RLIN) m
First date, FD (RLIN) a
-- -
-- eng
--
-- 0
Holdings
Withdrawn status Lost status 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
        PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General 18/06/2024   TK7885.7 .M57 2007 1000217368 18/06/2024 18/06/2024 Books - Printed

Powered by Koha