Tokyo Metropolitan University Library
Library HP | Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Tag History
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Tokyo Metropolitan University Library

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

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳 ; : electronic bk. -- オーム社, 2013. w. <EB00022660>
Tag:
No tag is registered
Functions:
Details
URL:

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

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳 ; : electronic bk. -- オーム社, 2013. w. <EB00022660>
Tag:
No tag is registered
Functions:
Details
URL:

Bibliography Details

IDENT https://kinoden.kinokuniya.co.jp/tmu/bookdetail/p/KP00005777
title and statement of responsibility area 型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
specific material designation code Remote
publication,distribution,etc.,area 東京 : オーム社 , 2013
physical description area 1オンラインリソース
variant titles 異なりアクセスタイトル:TAPL
variant titles 異なりアクセスタイトル:Types and programming languages
note 電子資料の出版事項: KinoDen, 2018
note その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
note 監訳: 住井英二郎
note 参考文献: p[451]-484
NCID KP00005777
text language code Japanese
author link Pierce, Benjamin C. <>
author link 遠藤, 侑介
エンドウ, ユウスケ <>
classification Information science NDC9:007.64
Volume Information
volumes : electronic bk
extra ISBN 9784274069116
Volume Information
extra ISBN 9784274800825
Go to the top of this page
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    Other Universities (NII)

    Get it from another library

    • ILL Copy Request(get a copy from another library)

    QR code