Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
書誌事項
- タイトル
- Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
- タイトル別名
-
- Algebraic Abstraction in Formal Methods
- 著者
- 奥殿, 貴仁
- 著者
- オクドノ, タカマサ
- 著者
- OKUDONO, Takamasa
- 学位授与大学
- 総合研究大学院大学
- 取得学位
- 博士（情報学）
- 学位授与番号
- 甲第2240号
- 学位授与年月日
- 2021-03-24
説明
application/pdf
総研大甲第2240号
収集根拠 : 博士論文（自動収集）
資料形態 : テキストデータ
コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
identifier:総研大甲第2240号
目次
2023-09-07 再収集
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1910865335633382016
-
- NII論文ID
- 500001432198
- 500001668720
- 500001482887
-
- 本文言語コード
- en
-
- データソース種別
-
- IRDB
- NDLサーチ