検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.) T2 Lecture notes in computer science A1 International Symposium of Formal Methods Europe A1 Naftalin, Maurice, 1951- A1 Denvir, Tim A1 Bertran, Miquel YR 1994 FD c1994 VO : us SP xi, 723 p. K1 Computer software -- Development -- Congresses PB Springer-Verlag PP Berlin ; New York SN 0387585559 LA English (英語) CL LCC:QA76.76.D47 CL DC20:005.1/01/5113 NO Includes bibliographical references NO 書誌ID=1000506332; NCID=BA23607702; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000506332 OL 30