Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data 001    UPD-00000175434 005    20090716221711.0 008    060721s2005 nyua b 001 0 eng 020 ## $a007144372X 040 ## $aDENG 041 ## $aeng 042 ## $aDMLUC 090 ## $aTK 7874.58$bP47 2005 100 1# $aPerry, Douglas L. 245 10 $aApplied formal verification /$cDouglas L. Perry, Harry D. Foster. 260 ## $aNew York :$bMcGraw-Hill,$cc2005. 300 ## $axiv, 237 p. :$bill. 650 ## $aIntegrated circuits$xVerification. 650 ## $aElectronic circuits$xTesting. 700 1# $aFoster, Harry,$d1956-. 905 ## $aFO 950 ## $aMonograph 852 ## $aUP$bDENG-II$hTK 7874.58$iP47 2005$pUDEGB0047276$rRegular Circulation$xE-34900 842 ## $aBook           Physical Location University of the Philippines Diliman: College of Engineering Library II TK 7874.58 / P47 2005           Digital Copy Not Available          Add to Book Cart  |   Download MARC