検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 Advanced Research Working Conference on Correct Hardware Design Methodologies A1 Milne, George J., 1952- A1 Pierre, Laurence YR 1993 FD c1993 VO : us SP vi, 269 p. K1 Integrated circuits -- Design and construction -- Data processing -- Congresses K1 Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses K1 Integrated circuits -- Verification -- Congresses K1 Computer software -- Verification -- Congresses PB Springer-Verlag PP Berlin ; New York SN 038756778X LA English (英語) CL LCC:TK7874 CL LCC:TK7874.75 NO "Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword NO "Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword NO Includes bibliographical references NO 書誌ID=1000656918; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000656918 OL 30