検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.) T2 Lecture notes in computer science A1 FMCAD (Conference) A1 Hunt, Warren A., 1958- A1 Johnson, Steven D. (Steven Dexter) YR 2000 FD c2000 SP xi, 537 p. K1 Digital integrated circuits -- Design and construction -- Data processing -- Congresses K1 Digital integrated circuits -- Computer-aided design -- Congresses K1 Computer-aided design -- Congresses K1 Automatic theorem proving -- Congresses K1 Integrated circuits -- Verification -- Congresses K1 Computer engineering -- Computer-aided design -- Congresses K1 Formal methods (Computer science) -- Congresses PB Springer PP Berlin SN 3540412190 LA English (英語) CL LCC:TK7874.65 CL LCC:TK7885.A1 CL DC21:621.39/2 NO Includes bibliographical references and index NO 書誌ID=1001205122; NCID=BA49044059; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001205122 OL 30