|
|
プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳. -- 丸善出版, 2023.1.
<WB03803577>
|
|
|
プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳. -- 丸善出版, 2023.1.
<WB03803577>
|
所蔵一覧
1件～3件（全3件）
書誌詳細
|
タイトル / 著者 等
|
プログラミング言語の形式的意味論入門 / G. ウィンスケル著 ; 勝股審也 [ほか] 訳
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
|
|
出版・頒布事項
|
東京 : 丸善出版 , 2023.1
|
|
形態
|
ix, 301p : 挿図 ; 21cm
|
|
巻号情報
|
|
|
その他のタイトル
|
原タイトル:The formal semantics of programming languages : an introduction
|
|
注記
|
その他の訳者: 中澤巧爾, 西村進, 前田敦司
|
|
注記
|
監訳者: 末永幸平
|
|
注記
|
参考文献: p[291]-296
|
|
NCID
|
BD00399346
|
|
本文言語
|
日本語
|
|
著者名リンク
|
Winskel, Glynn <AU00046903>
|
|
著者名リンク
|
勝股, 審也||カツマタ, シンヤ <AU01124330>
|
|
著者名リンク
|
中澤, 巧爾||ナカザワ, コウジ <AU01120243>
|
|
著者名リンク
|
西村, 進 (1970-)||ニシムラ, ススム <AU00468390>
|
|
著者名リンク
|
前田, 敦司 (1962-)||マエダ, アツシ <AU01118554>
|
|
著者名リンク
|
末永, 幸平||スエナガ, コウヘイ <AU01120244>
|
|
分類
|
情報科学 NDC9:007.64
|
|
分類
|
情報学．情報科学 NDC10:007.64
|
|
分類
|
科学技術 NDLC:M159
|
|
件名
|
プログラミング(コンピュータ)||プログラミング(コンピュータ)
|
|
件名
|
プログラミング用言語||プログラミングヨウゲンゴ
|
|
件名
|
意味論||イミロン
|
目録検索 ▼
アカウントサービス ▼
