検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.) T2 Lecture notes in computer science A1 Clarke, E. M. A1 CAV (Conference) A1 Kurshan, R. P., 1943- YR 1991 FD c1991 VO : Berlin SP xiii, 372 p. K1 Computer software -- Verification -- Congresses K1 Electronic digital computer -- Evaluation -- Congresses K1 Digital integrated circuits -- Design and construction -- Data processing -- congresses K1 Computer-aided design -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540544771 LA English (英語) CL LCC:TK7874 CL LCC:QA76.76.V47 CL DC20:621.381/5 CL NDC8:549.7 NO "Derived from Computer-aided verification '90 ... DIMACS series in discrete mathematics and theoretical computer science 3 ... 1991"--Pref NO Includes bibliographical references NO 書誌ID=1000432438; NCID=BA13063222; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000432438 OL 30