検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.) T2 Lecture notes in computer science A1 FMCAD (Conference) A1 Gopalakrishnan, Ganesh A1 Windley, Phillip J., 1958- YR 1998 FD c1998 SP ix, 528 p. K1 Digital integrated circuits -- Design and construction -- Data processing -- Congresses K1 Computer-aided design -- Congresses K1 Automatic theorem proving -- Congresses K1 Integrated circuits -- Verification -- Congresses PB Springer PP Berlin ; New York SN 3540651918 LA English (英語) CL LCC:TK7874.65 CL DC21:621.39/2 NO Includes bibliographical references and index NO 書誌ID=1000997516; NCID=BA38549596; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000997516 OL 30