検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.) T2 Lecture notes in computer science A1 International Symposium of Formal Methods Europe A1 Fitzgerald, John, 1965- A1 Jones, Cliff B., 1944- A1 Lucas, Peter, 1955- YR 1997 FD c1997 VO : pbk SP xiii, 684 p. K1 System design -- Methodology -- Congresses K1 Computer software -- Development -- Congresses PB Springer PP Berlin ; New York SN 3540635335 LA English (英語) CL LCC:QA76.9.S88 CL LCC:QA76.76.D47 CL DC21:005.1/01/5113 NO Includes bibliographical references and index NO 書誌ID=1000555188; NCID=BA32267015; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000555188 OL 30