図書・雑誌・視聴覚 プログラミング言語の形式的意味論入門 MYブックリストに登録 作成者 : G.ウィンスケル‖著 末永幸平‖監訳 勝股審也‖訳 中澤巧爾‖訳 西村進‖訳 前田敦司‖訳 出版者 : 丸善出版 出版年 : 2023.1 種別 : 図書