Mathematical theory of program correctness

著者

• Bakker, Jacobus Willem de
• Bruin, Arie de
• Zucker, Jeffery

書誌事項

Mathematical theory of program correctness

Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker

（Prentice-Hall International series in computer science）

Prentice-Hall International, c1980

注記

Bibliography: p. 466-490

Includes indexes

詳細情報

• NII書誌ID(NCID): BA03002844
• ISBN:
  • 0135621321
• LCCN: 80012451
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Englewood Cliffs, N.J. ; Tokyo
• ページ数/冊数: xvi, 505 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC : 001.64/25
• 件名:
  • LCSH : Computer programs -- Correctness
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00010507