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

Author(s)

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

Bibliographic Information

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]

Note

References: p. 93-96

Details

• NCID: BB07846164
• ISBN:
  • 9784883619214
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Nagoya]
• Pages/Volumes: viii, 96p
• Size: 26cm
• Classification:
  • NDC9 : 007.64
  • NDLC : M159
• Subject Headings:
  • BSH : プログラミング(コンピュータ)