|
|
プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳. -- 丸善出版, 2023.1.
<WB03803577>
|
|
|
プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳. -- 丸善出版, 2023.1.
<WB03803577>
|
所蔵一覧
1件～3件（全3件）
|
|
| No. |
0001
|
| 巻号 |
|
| 受付日 |
2024/2/21 |
| 所蔵館 |
情言 |
| 配置場所 |
情報・言語
|
| 請求記号 |
007.64||W||教員著作
|
| 資料ID |
12163527 |
| 状態 |
|
| 返却期限日 |
|
| 予約件数 |
0件
|
|
|
| No. |
0002
|
| 巻号 |
|
| 受付日 |
2023/2/21 |
| 所蔵館 |
工 |
| 配置場所 |
工情報
|
| 請求記号 |
007.64||W
|
| 資料ID |
12139802 |
| 状態 |
研究室配架 |
| 返却期限日 |
|
| 予約件数 |
0件
|
|
|
| No. |
0003
|
| 巻号 |
|
| 受付日 |
2023/4/28 |
| 所蔵館 |
中央館 |
| 配置場所 |
中央学3F
|
| 請求記号 |
007.64||W
|
| 資料ID |
12144981 |
| 状態 |
貸出中 |
| 返却期限日 |
2025/4/9 |
| 予約件数 |
0件
|
書誌詳細
|
タイトル / 著者 等
|
プログラミング言語の形式的意味論入門 / 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
|
|
件名
|
プログラミング(コンピュータ)||プログラミング(コンピュータ)
|
|
件名
|
プログラミング用言語||プログラミングヨウゲンゴ
|
|
件名
|
意味論||イミロン
|
目録検索 ▼
アカウントサービス ▼
