構造的PASCALプログラミング : プログラム設計と証明の組織的方法

著者

• Alagić, Suad
• 中島, 玲二 ナカジマ, レイジ
• Arbib, Michael A.

書誌事項

構造的PASCALプログラミング : プログラム設計と証明の組織的方法

Suad Alagić, Michael A.Arbib著 ; 中島玲二訳

（コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編, 44）

日本コンピュータ協会, 1980.9

タイトル別名

The design of well-structured and correct programs

タイトル読み

コウゾウテキ PASCAL プログラミング : プログラム セッケイ ト ショウメイ ノ ソシキテキ ホウホウ

注記

発売: 科学技術出版社

参考文献: p261-264

詳細情報

• NII書誌ID(NCID): BN03279056
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: 293p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.64
  • NDLC : M159
• 件名:
  • NDLSH : プログラミング(電子計算機)
• 親書誌ID:
  • BN00058946