東京家政大学資料検索

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

配置場所	巻次等	請求記号	資料番号	状　態	コメント	ISBN	請求メモ	予約
板橋2F 一般書架		007.64/W77	0388317			9784621307632	請求メモ	予約	請求メモ	予約

本文言語	日本語
大きさ	ix, 301p : 挿図 ; 21cm
別書名	原タイトル: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

目次／あらすじ