01382cam a22003374a 4500 12544583 BD-DhUL 20150114143156.0 010925s2002 maua b 001 0 eng 2001050362 0792376064 (alk. paper) DLC DLC DLC pcc TK7868.L6 L586 2002 621.395 21 LOG Logic synthesis and verification / editors, Soha Hassoun, Tsutomu Sasao. Boston : Kluwer Academic Publishers, c2002. xiv, 454 p. : ill. ; 24 cm. US$ 269.00 The Kluwer international series in engineering and computer science ; SECS 654 Includes bibliographical references and index. Logic circuits Computer-aided design. Logic design Data processing. Hassoun, Soha. Sasao, Tsutomu, 1950- Publisher description http://www.loc.gov/catdir/enhancements/fy0820/2001050362-d.html Table of contents only http://www.loc.gov/catdir/enhancements/fy0820/2001050362-t.html 7 cbc orignew 1 ocip 20 y-gencatlg ddc BK pc25 2001-09-25 to ASCD; jg11 2001-09-26 aa07 2001-09-28 ps15 2001-12-28 bk rec'd, to CIP ver. jg00 2002-01-07 jg01 2002-06-03 Copy 2 added, to BCCD 30912 30912 0 0 ddc 0 621_395000000000000_LOG 0 NFIC 58434 DUSL DUSL GEN 2014-05-14 Purchased 621.395 LOG 482525 2015-01-14 2015-01-14 BK