検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) T2 Lecture notes in computer science A1 World Congress on Formal Methods in the Development of Computing System A1 Wing, Jeannette Marie A1 Woodcock, James A1 Davies, Jim, 1964- YR 1999 FD c1999 VO v. 1 SP 2 v. K1 Formal methods (Computer science) -- Congresses K1 Application software -- Development -- Congresses PB Springer PP Berlin SN 3540665870 LA English (英語) CL LCC:QA76.9.F67 NO Includes bibliographical references and index NO 書誌ID=1001084237; NCID=BA43361015; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001084237 OL 30