資料詳細
要約等：
- 様々な計算モデルを取り上げ，その基礎理論と計算可能性，さらにはモデルを基に実装したプログラミング言語について解説．（提供元: 出版情報登録センター（JPRO））
著者紹介：
- 猪股 俊光 岩手県立大学教授 工博山田 敬三 岩手県立大学講師 博士（情報工学）（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
第1章 計算の世界と計算モデル
第2章 抽象機械型計算モデル
第3章 命令型計算モデル
第4章 関数型計算モデル ―帰納的関数―
第5章 関数型計算モデル ―ラムダ計算―
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
岩手県立図書館
紙- 請求記号：
- Ｋ００７．１／イノ／
- 図書登録番号：
- 1106518846
関東
茨城県立図書館
紙- 請求記号：
- 007.1/ｲﾉ/
埼玉県立熊谷図書館
紙- 請求記号：
- 007.1-ｹｲ
- 図書登録番号：
- 103207130
東京都立中央図書館
紙- 請求記号：
- 007.1-5740-2019
- 図書登録番号：
- 7111645715
神奈川県立川崎図書館
紙- 請求記号：
- 007.1-280
- 図書登録番号：
- 81719890
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-627-85471-0
- タイトル
- タイトルよみ
- ケイサン モデル ト プログラミング
- 著者・編者
- 猪股俊光, 山田敬三 共著
- 出版事項
- 出版年月日等
- 2019.4
- 出版年（W3CDTF）
- 2019
- 数量
- 212p