Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000175434 Date and Time of Latest Transaction 20090716221711.0 General Information 060721s2005 nyua b 001 0 eng International Standard Book Number 007144372X Cataloging Source DENG Language Code eng Local Call Number TK 7874.58 P47 2005 Main Entry - Personal Name Perry, Douglas L. Title Statement Applied formal verification / Douglas L. Perry, Harry D. Foster Physical Description xiv, 237 p. : ill Subject Added Entry - Topical Term Integrated circuits -- Verification   Electronic circuits -- Testing Added Entry - Personal Name Foster, Harry, 1956-. Collection Category FO Format Monograph Location UP DENG-II TK 7874.58 P47 2005 UDEGB0047276 Regular Circulation E-34900 Textual Physical Form Designator Book           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