A Practical Guide for SystemVerilog Assertions (Record no. 407304)

MARC details
000 -LEADER
fixed length control field 01612nam a22004095a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250914164723.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008maaau
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090217s2005 mau j eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387261737 (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387260495 (paper)
035 ## - SYSTEM CONTROL NUMBER
System control number (Springer)978-0-387-26049-5
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 200902171214
Level of effort used to assign nonsubject heading access points muhaimin
Level of effort used to assign subject headings 200902171155
Level of effort used to assign classification muhaimin
Level of effort used to assign subject headings 200902021310
Level of effort used to assign classification muhaimin
Level of effort used to assign subject headings 200809161716
Level of effort used to assign classification muhaimin
y 04-03-2008
z muhaimin
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7885.7
Item number .V55 2005
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.392
Edition information 22
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) ebook
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) TK7885.7
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .V711 2005
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Vijayaraghavan, Srikanth.
245 12 - TITLE STATEMENT
Title A Practical Guide for SystemVerilog Assertions
Medium [electronic resource] /
Statement of responsibility, etc. by Srikanth Vijayaraghavan, Meyyappan Ramanathan.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston, MA :
Name of publisher, distributor, etc. Springer Science+Business Media, Inc.,
Date of publication, distribution, etc. 2005.
300 ## - PHYSICAL DESCRIPTION
Extent xxv, 334 p. :
Other physical details ill., digital ;
Dimensions 24 cm.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Verilog (Computer hardware description language)
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic and Computer Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronics and Microelectronics, Instrumentation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Circuits and Systems.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ramanathan, Meyyappan.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer e-books
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b137011">https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b137011</a>
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b14113235
b 2022-04-06
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type AM
Suppress in OPAC No
Call number prefix ebook
914 ## - VTLS Number
VTLS Number vtls003368741
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library
Operator's initials, OID (RLIN) 2008-03-04
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) E-Book
Language English
Country
-- 0
-- .b14113235
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Date last seen Copy number Price effective from Koha item type
        PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) 12/11/2019 - 0.00 .i18686801   ebook 14/09/2025 1 14/09/2025 AM

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library