検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.) T2 Lecture notes in computer science A1 Advanced Research Working Conference on Correct Hardware Design Methodologies A1 Margaria, Tiziana A1 Melham, T. F. (Tom F.) YR 2001 FD c2001 SP xii, 482 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 SN 3540425411 LA English (英語) CL LCC:TK7874.75 NO Includes bibliographical references and index NO 書誌ID=1001313960; NCID=BA53434454; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001313960 OL 30