検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 The Vienna development method : the meta-language / edited by D. Bjørner and C.B. Jones T2 Lecture notes in computer science A1 Bjørner, D. (Dines), 1937- A1 Jones, Cliff B., 1944- YR 1978 FD 1978 VO : gw VO : us SP xv, 382 p. K1 ML (Computer program language) PB Springer-Verlag PP Berlin ; New York SN 3540087664 SN 0387087664 LA English (英語) CL LCC:QA76.7 CL DC:001.6/424 NO Bibliography: p. [375]-382 NO 書誌ID=1000014104; NCID=BA03623590; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000014104 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA03623590; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=3540087664 OL 30