プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

Author(s)

• Dijkstra, Edsger Wybe
• Feijen, W. H. J.
• 玉井, 浩 タマイ, ヒロシ

Bibliographic Information

プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

E. W. ダイクストラ, W. H. J. フェイエン著 ; 玉井浩訳

（Information & computing, 59）

サイエンス社, 1991.11

Other Title

A method of programming

ダイクストラプログラミングの方法 : 論理学を用いた正しいプログラムの作り方

Title Transcription

プログラミング ノ ホウホウ : ロンリガク オ モチイタ タダシイ プログラム ノ ツクリカタ

Access to Electronic Resource 1 items

• プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

  1991

  NDL Digital Collections

  Limited

Details

• NCID: BN06912734
• ISBN:
  • 4781906311
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: iv, 202p
• Size: 21cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDC7 : 418.608
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00566845