Principles of Verifiable Rtl Design (Record no. 379691)

MARC details
000 -LEADER
fixed length control field 00832nam a2200241Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 030630s2001||||xx |||||||||||||| ||eng||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0792373685
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
ISSN-L 0-7923-7368-5
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Item number BEN
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bening, Lionel
Relator term author
245 #0 - TITLE STATEMENT
Title Principles of Verifiable Rtl Design
250 ## - EDITION STATEMENT
Edition statement 2nd
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston :
Name of publisher, distributor, etc. Kluwer Academic Publishers,
Date of publication, distribution, etc. c2001
300 ## - PHYSICAL DESCRIPTION
Extent XIII, 281 p.
Other physical details : ill
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes Bibliographical References and Index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic Digital Computers Computer Aided Design
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated Circuits Very Large Scale Integration Computer Aided Design
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Verilog Computer Hardware Description Language
9 (RLIN) 77549
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Foster, Harry
Relator term author
856 ## - ELECTRONIC LOCATION AND ACCESS
Link text Table of Contents
Uniform Resource Identifier <a href="https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-7923-7368-5.pdf">https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-7923-7368-5.pdf</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Stock Type Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Accession Date Koha item type
        Circulation Section Circulation Section Circulation Section 30/06/2003 Purchased 7664.80   621.395 BEN 67840 22/02/2024 30/06/2003 Lending Collection
        Circulation Section Circulation Section Circulation Section 30/06/2003 Purchased 7290.00   621.395 BEN 67854 22/02/2024 30/06/2003 Lending Collection