検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 構造的PASCALプログラミング : プログラム設計と証明の組織的方法 / Suad Alagić, Michael A.Arbib著 ; 中島玲二訳 T2 コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 OT The design of well-structured and correct programs A1 Alagić, Suad, 1946- A1 中島, 玲二(1947-) A1 Arbib, Michael A., 1940- YR 1980 FD 1980.9 SP 293p K1 プログラミング(電子計算機) PB 日本コンピュータ協会 PP 東京 LA Japanese (日本語) CL NDC8:007.64 CL NDLC:M159 NO 発売: 科学技術出版社 NO 参考文献: p261-264 NO 書誌ID=1000001654; NCID=BN03279056; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000001654 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BN03279056 OL 58