ナカザワ, コウジ
中澤, 巧爾
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | SRC:プログラミング言語の形式的意味論入門 / G. ウィンスケル著 ; 勝股審也 [ほか] 訳 (丸善出版, 2023.1) の奥付による 名古屋大学大学院情報学研究科准教授 |
| コード類 | 典拠ID=A000173571 NCID=DB0003788X |
| 1 | プログラミング言語の形式的意味論入門 / G. ウィンスケル著 ; 勝股審也 [ほか] 訳 東京 : 丸善出版 , 2023.1 |