資料詳細

  • 1 件中、 1 件目

【図書】 岩波講座ソフトウェア科学 １２

計算モデルの基礎理論 --
長尾真 ／〔ほか〕編   -- 岩波書店 -- １９９１．３ -- ２３ｃｍ -- ３８６ｐ

資料詳細

タイトル 岩波講座ソフトウェア科学 １２
各巻タイトル 計算モデルの基礎理論
著者名等 長尾真 ／〔ほか〕編  
出版 岩波書店 １９９１．３
大きさ等 ２３ｃｍ ３８６ｐ
分類 007.63
件名 プログラミング（電子計算機） , 数学基礎論
内容 参考書：ｐ３７９～３８１
要旨 いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。
目次 計算モデルへの招待；機械モデル；関数モデル（帰納的関数；ラムダ計算）；論理モデル；書換えモデル；代数モデル
ISBN(13)、ISBN 　　 4-00-010352-0
書誌番号 1190382656

ページの先頭へ

所蔵

所蔵は 3 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/6052/12 一般書 利用可 - 0004403851 iLisvirtual
山内 書庫 007.6 一般書 利用可 - 0061133815 iLisvirtual
都筑 書庫 007.6 一般書 利用可 - 2002072010 iLisvirtual

ページの先頭へ