検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.) T2 Lecture notes in computer science A1 Advanced Research Working Conference on Correct Hardware Design Methodologies A1 Pierre, Laurence A1 Kropf, Thomas, 1961- YR 1999 FD c1999 SP xi, 366 p. K1 Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses K1 Integrated circuits -- Verification -- Congresses K1 Computer-aided design -- Congresses K1 Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses PB Springer PP Berlin ; Tokyo SN 3540665595 LA English (英語) CL NDC9:549.7 CL LCC:TK7874.75 CL DC20:621.39/5 NO Includes bibliographical references and index NO 書誌ID=1001084298; NCID=BA43362288; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001084298 OL 30