Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000177893 Date and Time of Latest Transaction 20090716222239.0 General Information 080209s1995 ge a b 100 0 eng International Standard Book Number 3540603859 Cataloging Source DENG Language Code eng Local Call Number TK 7874.75 A38 1995 Main Entry - Meeting Name Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 : Frankfurt/Main, Germany) Title Statement Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking(eds.) Physical Description viii,342 p Series Statement/Added Entry - Title Lecture notes in computer science ; 987 Subject Added Entry - Topical Term Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses   Integrated circuits -- Verification -- Congresses   Computer-aided design -- Congresses Collection Category FO Format Monograph Added Entry - Personal Name Camurati, Paolo.   Eveking, Hans. Collection Category FO Format Monograph Location UP DENG-II TK 7874.75 A38 1995 UDEGB0034853 Regular Circulation E-ESEP-2949 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library II TK 7874.75 A38 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC