Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000178386 Date and Time of Latest Transaction 20090716221730.0 General Information 080209s1995 maua b 001 0 eng International Standard Book Number 0792395808 Cataloging Source DENG Language Code eng Local Call Number TK 7874 K66 Main Entry - Personal Name Kong, Jeong-Taek, 1959- Title Statement Digital timing macromodeling for VLSI design verification / by Jeong-Taek Kong and David Overhauser Physical Description xxi, 265 p. : ill. Series Statement/Added Entry - Title The Kluwer international series in enginering and computer science ; SECS 319 Subject Added Entry - Topical Term Integrated circuits -- Very large scale integration -- Design and construction -- Data processing   Integrated circuits -- Verification -- Data processing   Computer-aided design Added Entry - Personal Name Overhauser, David, 1961- Collection Category FO Format Monograph Location UP DENG-II TK 7874 K66 UDEGB0046945 Regular Circulation E-ESEP-3685   UP DENG-II TK 7874 K66 UDEGB0046961 Regular Circulation E-ESEP-3686   UP DENG-II TK 7874 K66 UDEGB0046945 Regular Circulation E-ESEP-3685   UP DENG-II TK 7874 K66 UDEGB0046961 Regular Circulation E-ESEP-3686 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II TK 7874 K66           Digital Copy Not Available          Add to Book Cart  |   Download MARC