検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (ed.) T2 Lecture notes in computer science A1 CAV (Conference) A1 Hu, Alan J. A1 Vardi, Moshe YR 1998 FD c1998 SP ix, 552 p. K1 Computer software -- Verification -- Congresses K1 Electronic digital computers -- Evaluation -- Congresses PB Springer-Verlag PP Berlin SN 3540646086 LA English (英語) CL LCC:QA76.76.V47 CL LCC:QA76.76.E93 CL DC20:511.3/0285 CL NDC8:007.63 CL NDC8:549.7 NO Includes bibliographical references and index NO 書誌ID=1000559977; NCID=BA3626151X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000559977 OL 30