検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.) T2 Lecture notes in computer science A1 CAV (Conference) A1 Halbwachs, Nicolas A1 Peled, Doron YR 1999 FD c1999 SP xii, 506 p. K1 Computer software -- Verification -- Congresses K1 Electronic digital computers -- Evaluation -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 3540662022 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=1001063845; NCID=BA42406424; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001063845 OL 30