検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.) T2 Lecture notes in computer science A1 International Symposium of Formal Methods Europe A1 Oliveira, José N. A1 Zave, Pamela, 1948- YR 2001 FD c2001 SP xiii, 628 p. K1 Computer software -- Development -- Congresses PB Springer PP Berlin SN 3540417915 LA English (英語) CL LCC:QA76.76.D47 NO Includes bibliographical references and index NO 書誌ID=1001249518; NCID=BA51108019; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001249518 OL 30