検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.) T2 Lecture notes in computer science A1 FMCAD '96 (1996 : Palo Alto, Calif.) A1 Srivas, Mandayam A1 Camilleri, Albert YR 1996 FD c1996 VO : alk paper SP ix, 470 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 SN 3540619372 LA English (英語) CL LCC:TK7874.65 CL DC20:621.39/2 NO Includes bibliographical references and index NO 書誌ID=1000546188; NCID=BA2889116X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000546188 OL 30