演習プログラムの証明

Author(s)

• Anderson, Robert Brockett
• 有澤, 誠 アリサワ, マコト

Bibliographic Information

演習プログラムの証明

ロバート・B.アンダスン著 ; 有沢誠訳

（ソフトウェア工学ライブラリ, [1]）

近代科学社, 1980.11

Other Title

Proving programs correct

Title Transcription

エンシュウ プログラム ノ ショウメイ

Note

関連文献: p164-171

Details

• NCID: BN01964118
• ISBN:
  • 4764900645
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: 174p
• Size: 21cm
• Classification:
  • NDC7 : 418.6
  • NDC8 : 007.64
  • NDLC : M159
• Subject Headings:
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00239259