Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

• 資料種別: 図書
• ISBN: 354056778X
• タイトル: Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
• 著者標目: IFIP WG 10.2 Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France); Milne, George J., 1952-; Pierre, Laurence.; ESPRIT Working Group 6018 "CARME-2".; Université de Provence.
• 出版事項: Berlin : Springer-Verlag; Tokyo : Springer-Verlag
• 出版年月日等: c1993.
• 出版年（W3CDTF）: 1993
• 数量: vi, 269 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• NDLC: M15; M154
• 一般注記: "These proceedings contain the papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France) on 24-26 May, 1993 and organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille) , in cooperation with IFIP WG 10.2"--Foreword.; Includes bibliographical references.
• 所蔵機関: 国立国会図書館
• 請求記号: M15-A8815
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003215726; http://id.ndl.go.jp/bib/000003215726
• 整理区分コード: 211