検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.) T2 Lecture notes in computer science A1 CAV (Conference) A1 Emerson, E. Allen A1 Sistla, A. Prasad YR 2000 FD c2000 SP x, 582 p. K1 Computer software -- Verification -- Congresses K1 Electronic digital computers -- Evaluation -- Congresses PB Springer PP Berlin SN 3540677704 LA English (英語) NO Includes bibliographical references and index NO 書誌ID=1001167776; NCID=BA47498408; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001167776 OL 30