Normal view MARC view ISBD view

Verification methodology manual for System Verilog / (Record no. 28990)

MARC details
000 -LEADER
fixed length control field	00873nam a2200229 a 4500
001 - CONTROL NUMBER
control field	vtls000019284
003 - CONTROL NUMBER IDENTIFIER
control field	KUKTEM
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251117142426.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	070406 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387255389
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201107131817
Level of effort used to assign nonsubject heading access points	VLOAD
Level of effort used to assign subject headings	200908141204
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908141135
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908131617
Level of effort used to assign classification	VLOAD
--	200704060952
--	sri
040 ## - CATALOGING SOURCE
Original cataloging agency	UMP
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	TK7885.7 V37 2005
245 1# - TITLE STATEMENT
Title	Verification methodology manual for System Verilog /
Statement of responsibility, etc.	Janick Bergeron
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	New York :
Name of publisher, distributor, etc.	Springer ,
Date of publication, distribution, etc.	c2005
300 ## - PHYSICAL DESCRIPTION
Extent	xvi, 503p. :
Other physical details	ill, ;
Dimensions	24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references and index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Verilog (Computer hardware description language)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Intergrated circuits
General subdivision	Verification
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Bergeron, Janick.

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Cost, normal purchase price	Total checkouts	Full call number	Barcode	Date last seen	Copy number	Cost, replacement price	Price effective from	Koha item type
	Not lost	Library of Congress Classification			UMPLIB PEKAN	UMPLIB PEKAN	04/09/2019	770.00		TK7885.7 V37 2005	0000022363	04/09/2019	1	770.00	04/09/2019	Open Shelf