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

Author(s)

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

Bibliographic Information

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

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

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

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

Other Title

The design of well-structured and correct programs

Title Transcription

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

Note

発売: 科学技術出版社

参考文献: p261-264

Details

• NCID: BN03279056
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: 293p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDLC : M159
• Subject Headings:
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00058946