検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.) T2 Lecture notes in computer science A1 International Workshop on Current Trends in Applied Formal Methods A1 Hutter, Dieter YR 1999 FD c1999 SP xi, 376 p. K1 Formal methods (Computer science) Congresses PB Springer PP Berlin SN 3540664629 LA English (英語) CL LCC:QA76.9.F67 NO Includes bibliographical references and index NO 書誌ID=1001064018; NCID=BA43039216; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001064018 OL 30