Formal verification : (Record no. 24757)

MARC details
000 -LEADER
fixed length control field 00964nam a22001937a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250710092756.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250710b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780323956123
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7874.75
Item number SEL 2023
245 ## - TITLE STATEMENT
Title Formal verification :
Remainder of title an essential toolkit for modern VLSI design/
Statement of responsibility, etc. Erik Seligman (Author), E. Thomas Schubert (Author), M. V. Achutha Kiran Kumar (Author)
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Cambridge, MA:
Name of publisher, distributor, etc. Morgan Kaufmann,
Date of publication, distribution, etc. 2023.
300 ## - PHYSICAL DESCRIPTION
Extent 424 pages :
Other physical details illustrations,
Dimensions 25 CM
520 ## - SUMMARY, ETC.
Summary, etc. Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic circuits Testing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits Very large scale integration Design and construction
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Schubert, E. Thomas (Author),
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Kumar, M. V. Achutha Kiran (Author)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Koha item type Books in General collection
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Library of Congress Classification     Mzuzu University Library and Learning Resources Centre Mzuzu University Library and Learning Resources Centre 10/07/2025   TK 7874.75 SEL 2023 mZUlm-033804 10/07/2025 033804 10/07/2025 Books in General collection

© 2022 MZUZU UNIVERSITY