Record:   Prev Next
作者 Advanced Research Working Conference on Correct Hardware Design Methodologies (7th : 1993 : Arles, France)
書名 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
出版項 Berlin ; New York : Springer-Verlag, c1993
國際標準書號 038756778X (Springer-Verlag : Berlin)
354056778X (Springer-Verlag : New York)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro B2.2 C824 1993  LNCS 683    館內使用    30330000091913
 數學所圖書室  QA75.5 .L42  v.683    在架上    30340200301624
說明 vi, 269 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 683
附註 "Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword
"Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Universite de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword
Includes bibliographies
主題 Integrated circuits -- Design and construction -- Data processing -- Congresses
Computer-aided design -- Congresses
Computer software -- Verification -- Congresses
Verification hardware iis
Alt Author Milne, George J., 1952-
Alt Title CHARME '93
Record:   Prev Next