Constructive theory for programs and their correctness : contributions to Hoare's ideal of program correctness and Scott's thesis on existence and identity

著者

• 伊藤, 貴康 イトウ, タカヤス

書誌事項

Constructive theory for programs and their correctness : contributions to Hoare's ideal of program correctness and Scott's thesis on existence and identity

Takayasu Ito

Sankeisha, [2011.11]

注記

References: p. 93-96

詳細情報

• NII書誌ID(NCID): BB07846164
• ISBN:
  • 9784883619214
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Nagoya]
• ページ数/冊数: viii, 96p
• 大きさ: 26cm
• 分類:
  • NDC9 : 007.64
  • NDLC : M159
• 件名:
  • BSH : プログラミング(コンピュータ)