検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.) T2 Lecture notes in computer science A1 Advanced Research Working Conference on Correct Hardware Design Methodologies A1 Camurati, Paolo A1 Eveking, Hans YR 1995 FD c1995 SP viii, 342 p. K1 Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses K1 Integrated circuits -- Verification -- Congresses K1 Computer-aided design -- Congresses PB Springer PP Berlin ; New York SN 3540603859 LA English (英語) CL NDC9:549.7 CL LCC:TK7874.75 CL DC20:621.39/5 NO Includes bibliographical references NO 書誌ID=1000527661; NCID=BA26019879; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000527661 OL 30