このページのリンク

カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳

データ種別 図書
出版者 東京 : オーム社
出版年 2013.3
本文言語 日本語
大きさ xxi, 503p ; 26cm
目次/あらすじ

所蔵情報を非表示


GF:BOOK.SHELF 007.64/P62 08003987
9784274069116

書誌詳細を非表示

別書名 表紙タイトル:TAPL
原タイトル:Types and programming languages
一般注記 その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484
著者標目 Pierce, Benjamin C.
住井, 英二郎 <スミイ, エイジロウ>
遠藤, 侑介 <エンドウ, ユウスケ>
酒井, 政裕 <サカイ, マサヒロ>
今井, 敬吾 <イマイ, ケイゴ>
黒木, 裕介 <クロキ, ユウスケ>
今井, 宜洋 <イマイ, ヨシヒロ>
才川, 隆文 <サイカワ, タカフミ>
今井, 健男 <イマイ, タケオ>
件 名 BSH:プログラミング(コンピュータ)
NDLSH:プログラミング用言語
分 類 NDC8:007.64
NDC9:007.64
NDLC:M159
書誌ID 4100038840
ISBN 9784274069116
NCID BB12112636 WCLINK

 類似資料