プログラム理論

著者

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

書誌事項

プログラム理論

伊藤貴康著

三恵社, 2010.6

タイトル別名

Mathematical theory of programs

タイトル読み

プログラム リロン

注記

参考文献: p369-374

詳細情報

• NII書誌ID(NCID): BB03941265
• ISBN:
  • 9784883617548
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 名古屋
• ページ数/冊数: 4, 379p
• 大きさ: 30cm
• 分類:
  • NDC9 : 007.64
  • NDLC : M159
• 件名:
  • NDLSH : プログラミング(コンピュータ)
  • NDLSH : ソフトウェア工学