close
1.

図書
図書
1. 数理情報学入門 : スコット・プログラム理論
中島玲二著
出版情報: 東京 : 朝倉書店, 1982.3
シリーズ名: 数理科学ライブラリー ; 3
所蔵情報: loading…
2.

図書
図書
2. プログラミング言語の形式的意味論入門
G. ウィンスケル著 ; 勝股審也 [ほか] 訳
出版情報: 東京 : 丸善出版, 2023.1
所蔵情報: loading…