カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
Benjamin C.Pierce著 ; 遠藤侑介 [ほか] 共訳
東京 : オーム社, 2013.3
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.64-P62
|
10013007797 |
一般図書 |
|
|
|
|
2013
xxi, 503p ; 26cm
TAPL
Types and programming languages
その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484
日本
日本語 (jpn)
日本語 (jpn)
英語 (eng)
住井, 英二郎 (スミイ, エイジロウ)
遠藤, 侑介 (エンドウ, ユウスケ)
酒井, 政裕 (サカイ, マサヒロ)
今井, 敬吾 (イマイ, ケイゴ)
黒木, 裕介 (クロキ, ユウスケ)
今井, 宜洋 (イマイ, ヨシヒロ)
才川, 隆文 (サイカワ, タカフミ)
今井, 健男 (イマイ, タケオ)
NDC8:007.64
NDC9:007.64
9784274069116
BB12112636
TRC : 13015986
