Logic synthesis and verification algorithms (Record no. 330595)

MARC details
000 -LEADER
fixed length control field 00306nam a22001097a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387310046
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Item number HAC
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hachtel, Gary D
245 ## - TITLE STATEMENT
Title Logic synthesis and verification algorithms
Statement of responsibility, etc. Hachtel, Gary D.; Somenzi, Fabio
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boulder:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1996.
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 Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Dept. of Futures Studies Dept. of Futures Studies Processing Center 11/12/2019   621.395 HAC DFS3952 11/12/2019 11/12/2019 Book