カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
型システム入門 : プログラミング言語と型の理論 / Benjamin C.Pierce著 ; 遠藤侑介 [ほか] 共訳
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : オーム社 |
| 出版年 | 2013.3 |
| 本文言語 | 日本語 |
| 大きさ | xxi, 503p ; 26cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | ISBN | 資料種別 | 利用注記 | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
007.64/P 62 | 080142403 | 9784274069116 | 図書 |
|
|
|
書誌詳細を非表示
| 別書名 | 表紙タイトル:TAPL 原タイトル:Types and programming languages |
|---|---|
| 一般注記 | その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 監訳: 住井英二郎 参考文献: p[451]-484 |
| 著者標目 | Pierce, Benjamin C. <スミイ, エイジロウ> 住井, 英二郎 <エンドウ, ユウスケ> 遠藤, 侑介 <サカイ, マサヒロ> 酒井, 政裕 <イマイ, ケイゴ> 今井, 敬吾 <クロキ, ユウスケ> 黒木, 裕介 <イマイ, ヨシヒロ> 今井, 宜洋 <サイカワ, タカフミ> 才川, 隆文 <イマイ, タケオ> 今井, 健男 |
| 件 名 | BSH:プログラミング(コンピュータ) NDLSH:プログラミング用言語 |
| 分 類 | NDC8:007.64 NDC9:007.64 |
| 書誌ID | 1000119225 |
| ISBN | 9784274069116 |
類似資料
- 1 初めてのPerl / Randal L. Schwartz, brian d foy, Tom Phoenix著 ; 近藤嘉雪, 嶋田健志訳
- 2 やさしいJava / 高橋麻奈著 [本編],活用編
- 3 新・解きながら学ぶC言語 / 柴田望洋, 由梨かおる著
- 4 新・明解C言語 / 柴田望洋著 入門編,中級編,実践編
- 5 入門Cocoa / Apple Computer,Inc.著 ; テクノロジックアート訳
- 6 Rubyクックブック : エキスパートのための応用レシピ集 / Lucas Carlson, Leonard Richardson著 ; クイープ訳
- 7 プログラミング言語Java / ケン・アーノルド, ジェームズ・ゴスリン, デビッド・ホームズ著 ; 柴田芳樹訳
- 8 Javaクックブック : Java開発者のためのレシピ集 / Ian F.Darwin著 ; 豊福剛訳
- 9 やさしく学べるJava : CUIによるプログラミング学習 / 福田良之介著
- 10 C++ポケットリファレンス / 高橋晶 [ほか] 著