演習プログラムの証明

著者

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

書誌事項

演習プログラムの証明

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

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

近代科学社, 1980.11

タイトル別名

Proving programs correct

タイトル読み

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

注記

関連文献: p164-171

詳細情報

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