資料詳細

  • 1 件中、 1 件目

型システム入門 プログラミング言語と型の理論

Benjamin C.Pierce/著 住井 英二郎/監訳

オーム社 2013.3

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 4F書庫 4Y/007.64/ﾋｱ/ 1107063024 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 型システム入門
副書名 プログラミング言語と型の理論
著者 Benjamin C.Pierce /著 住井 英二郎 /監訳 遠藤 侑介 /共訳 酒井 政裕 /共訳 今井 敬吾 /共訳 黒木 裕介 /共訳 今井 宜洋 /共訳 才川 隆文 /共訳 今井 健男 /共訳  
出版者 オーム社
出版年 2013.3
ページ数 503p
大きさ 26cm
一般件名 プログラミング（コンピュータ）
NDC分類(9版) 007.64
内容紹介 プログラミング言語理論の基礎的教科書。プログラミング言語理論の鍵となる概念について詳しく解説し、多数の入門的な題材と豊富な例題、演習、事例を提供する。
ISBN 4-274-06911-6
定価 ¥6800

ページの先頭へ