Algebraic Abstraction in Formal Methods Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
この論文にアクセスする
著者
書誌事項
- タイトル
-
Algebraic Abstraction in Formal Methods
- タイトル別名
-
Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
- 著者名
-
奥殿, 貴仁
- 著者名
-
オクドノ, タカマサ
- 著者名
-
Takamasa, OKUDONO
- 学位授与大学
-
総合研究大学院大学
- 取得学位
-
博士（情報学）
- 学位授与番号
-
甲第2240号
- 学位授与年月日
-
2021-03-24
注記・抄録
identifier:総研大甲第2240号
application/pdf
総研大甲第2240号
目次
- 2023-09-07 再収集 (3コマ目)
- 2023-09-07 再収集 (4コマ目)