検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal hardware verification : methods and systems in comparison / Thomas Kropf (ed.) T2 Lecture notes in computer science A1 Kropf, Thomas, 1961- YR 1997 FD c1997 SP xii, 367 p. K1 Integrated circuits -- Very large scale integration -- Design and construction -- Data processing K1 Integrated circuits -- Verification K1 LCSH;Computer-aided design PB Springer PP Berlin SN 3540634754 LA English (英語) NO Includes bibliographical references (p. [349]-367) NO 書誌ID=1000555073; NCID=BA32157822; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000555073 OL 30