※一部利用できない機能があります
構造的PASCALプログラミング : プログラム設計と証明の組織的方法
- 資料種別:
- 図書
- 責任表示:
- Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
- 言語:
- 日本語
- 出版情報:
- 東京 : 日本コンピュータ協会, 1980.9
- 形態:
- 293p ; 22cm
- 著者名:
- シリーズ名:
- コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44 <BN00058946>
- 書誌ID:
- BN03279056
- 電子版が利用できる場合の注意事項は こちら をご覧ください。