所蔵一覧

概要

型システム入門
プログラミング言語と型の理論
Benjamin C. Pierce著 遠藤侑介 [ほか] 共訳
オーム社
2013/03/25
9784274069116
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。

利用状況

詳細

和洋区分
和書
書名,巻次,叢書名 型システム入門 プログラミング言語と型の理論
著者名 Benjamin C. Pierce著 遠藤侑介 [ほか] 共訳
出 版 者 オーム社
出版年月日 2013/03/25
定価 6,800
ペ ー ジ xxi, 503p
サ イ ズ 26cm
ISBN1 9784274069116
注記 その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男 監訳: 住井英二郎 参考文献: p[451]-484
件名 プログラミング(コンピュータ) プログラミング用言語
内容細目1 TAPL
内容細目2 Types and programming languages

所蔵一覧

所蔵1 冊
  • 1
    ラベル
    • 分類記号1007.64
    • 著者記号P
    • 副本記号
    登録番号

    0092053

    分類記号1
    007.64
    著者記号
    P
     
    保管場所コード
    02 2F
    配架場所コード
    21 情報科学 / 技術.工学