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.).

• Material Type: 図書
• ISBN: 354056778X
• Title: 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.).
• Author Heading: 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.
• Publication, Distribution, etc.: Berlin : Springer-Verlag; Tokyo : Springer-Verlag
• Publication Date: c1993.
• Publication Date (W3CDTF): 1993
• Extent: vi, 269 p. : ill. ; 24 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• NDLC: M15; M154
• Note (General): "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.
• Holding library: 国立国会図書館
• Call No.: M15-A8815
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003215726; http://id.ndl.go.jp/bib/000003215726
• Bibliographic Record Category (NDL): 211