National Institute of Technology, Nara College
Help Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

National Institute of Technology, Nara College

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

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳. -- オーム社, 2013. <BB00009527>
Functions:
Details
URL:

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

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳. -- オーム社, 2013. <BB00009527>
Functions:
Details
URL:

HoldingsList 1-2 of about 2

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID Status user1 Due Date Reservation
0001 NIT, Nara College 情報工学科 岡村 007.64||ピ||0116821 0116821 0items
0002 NIT, Nara College 情報科学 007.64||PG-Ot||0114146 0114146 0items
No. 0001
Volumes
Library NIT, Nara College
Location 情報工学科 岡村
Call No 007.64||ピ||0116821
Material ID 0116821
Status
user1
Due Date
Reservation 0items
No. 0002
Volumes
Library NIT, Nara College
Location 情報科学
Call No 007.64||PG-Ot||0114146
Material ID 0114146
Status
user1
Due Date
Reservation 0items
Go to the top of this page

Bibliography Details

title and statement of responsibility area 型システム入門 : プログラミング言語と型の理論 / Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
publication,distribution,etc.,area 東京 : オーム社 , 2013.3
physical description area xxi, 503p ; 26cm
Volume Information
ISBN 9784274069116
variant titles 表紙タイトル:TAPL
variant titles 原タイトル:Types and programming languages
note その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
note 監訳: 住井英二郎
note 参考文献: p[451]-484
NCID BB12112636
text language code Japanese
author link Pierce, Benjamin C. <NC:DA05815373>
author link 住井, 英二郎
スミイ, エイジロウ <>
author link 遠藤, 侑介
エンドウ, ユウスケ <NC:DA18335745>
author link 酒井, 政裕
サカイ, マサヒロ <>
author link 今井, 敬吾
イマイ, ケイゴ <>
author link 黒木, 裕介(1982-)
クロキ, ユウスケ <NC:DA18035344>
author link 今井, 宜洋
イマイ, ヨシヒロ <>
author link 才川, 隆文
サイカワ, タカフミ <>
author link 今井, 健男
イマイ, タケオ <>
classification Information science NDC8:007.64
classification Information science NDC9:007.64
classification Science and technology NDLC:M159
subject headings プログラミング(コンピュータ)||プログラミング(コンピュータ)
subject headings プログラミング用言語||プログラミングヨウゲンゴ
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)
    • ILL Borrowing Request(borrow the actual book)

    Purchase Request

    QR code