サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

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

Benjamin C.Pierce 著,住井英二郎 監訳,オーム社開発局 企画編集

詳細情報

タイトル 型システム入門 : プログラミング言語と型の理論
著者 Benjamin C.Pierce 著
著者 住井英二郎 監訳
著者 オーム社開発局 企画編集
著者標目 Pierce, Benjamin C
著者標目 住井, 英二郎
著者標目 オーム社
出版地(国名コード) JP
出版地東京
出版社オーム社
出版年月日等 2013.3
大きさ、容量等 503p ; 26cm
注記 原タイトル: TYPES AND PROGRAMMING LANGUAGES
注記 訳: 遠藤侑介ほか
注記 文献あり 索引あり
ISBN 9784274069116
価格 6800円
JP番号 22223809
トーハンMARC番号 32901115
別タイトル TYPES AND PROGRAMMING LANGUAGES
出版年(W3CDTF) 2013
件名(キーワード) プログラミング用言語
NDLC M159
NDC(9版) 007.64 : 情報科学
原文の言語(ISO639-2形式) eng : English
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで