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