LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS. (Record no. 133853)

MARC details
000 -LEADER
fixed length control field 00478nam a2200193Ia 4500
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title   ENGLISH
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.317.317
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Item number HAC
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name HACHTEL, GARY. D.
245 #0 - TITLE STATEMENT
Title LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication NEW DELHI
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher SPRINGER (INDIA) PVT. LTD.
300 ## - PHYSICAL DESCRIPTION
Number of Pages 567
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term   LOGIC SYNTHESIS
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name SOMENZI, FABIO
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Reference
Holdings
Full call number Disc Net Amount Accession Number Cost, replacement price Price effective from Koha item type Department Lost status Damaged status Not for loan Withdrawn status Permanent Location Current Location Date acquired Source of acquisition Cost, normal purchase price Bill No Bill Date Language
621.317.317 23 458 PCCOEEC10323 595.00 02/09/2022 Reference E AND TC         PCCOE PCCOE 28/09/2007 Bookland pune 595.00 6701 2007-08-27 ENGLISH