Constructive logics for program correctness and verification : dedicated to John McCarthy and Rod Burstall

著者

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

書誌事項

Constructive logics for program correctness and verification : dedicated to John McCarthy and Rod Burstall

Takayasu Ito

Sankeisha, [2011.4]

Revised edition

注記

References: p. 163-165

詳細情報

• NII書誌ID(NCID): BB07844442
• ISBN:
  • 9784883618583
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Nagoya]
• ページ数/冊数: iv, 165p
• 大きさ: 26cm
• 分類:
  • NDLC : M159