OPAC

プログラミングゲンゴノケイシキテキイミロンニュウモン
プログラミング言語の形式的意味論入門 / G. ウィンスケル著 ; 勝股審也 [ほか] 訳

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫4階	007.64:W773		9784621307632	008516299				予約・取寄		仮想書架	予約・取寄		仮想書架

別書名	原タイトル:The formal semantics of programming languages : an introduction
一般注記	その他の訳者: 中澤巧爾, 西村進, 前田敦司監訳者: 末永幸平参考文献: p[291]-296
著者標目	Winskel, Glynn 勝股, 審也 <カツマタ, シンヤ> 中澤, 巧爾 <ナカザワ, コウジ> 西村, 進 <ニシムラ, ススム> 前田, 敦司(1962-) <マエダ, アツシ> 末永, 幸平 <スエナガ, コウヘイ>
件　名	BSH:プログラミング(コンピュータ) NDLSH:プログラミング用言語 NDLSH:意味論
分　類	NDC9:007.64 NDC10:007.64 NDLC:M159
巻冊次	ISBN:9784621307632 ; PRICE:4950円
ISBN	9784621307632
NCID	BD00399346

目次／あらすじ