Skip to main content
図書館ホームページ
MyLibraryログイン
新着図書
新着雑誌
貸出ランキング
ヘルプ
Languege:
English
日本語
※一部利用できない機能があります
新着図書
新着雑誌
English version here
>> Google Books
ありんくりんサーチ
沖縄県内図書館横断検索
型システム入門 : プログラミング言語と型の理論
資料種別:
図書
責任表示:
Benjamin C.Pierce著 ; 遠藤侑介 [ほか] 共訳
言語:
日本語
出版情報:
東京 : オーム社, 2013.3
形態:
xxi, 503p ; 26cm
著者名:
Pierce, Benjamin C.
<DA05815373>
住井, 英二郎
遠藤, 侑介
酒井, 政裕
今井, 敬吾
黒木, 裕介
今井, 宜洋
才川, 隆文
今井, 健男
続きを見る
書誌ID:
BB12112636
ISBN:
9784274069116 [4274069117]
電子版が利用できる場合の注意事項は
こちら
をご覧ください。
電子版
子書誌情報
所蔵情報
タイトルが類似している資料
詳細
その他の標題:
TAPL
Types and programming languages
主題:
プログラミング用言語
分類・件名:
NDC8 : 007.64
NDC9 : 007.64
BSH : プログラミング(コンピュータ)
NDLSH : プログラミング用言語
注記:
その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484
タイトルのヨミ、その他のヨミ:
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
TTLL:
jpn
著者名ヨミ:
スミイ, エイジロウ
エンドウ, ユウスケ
サカイ, マサヒロ
イマイ, ケイゴ
クロキ, ユウスケ
イマイ, ヨシヒロ
サイカワ, タカフミ
イマイ, タケオ
内容紹介
目次情報