検索結果
検索結果
文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。
1 件見つかりました。
- 林,雄二 (ハヤシ,ユウジ) https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=1203605619
論文名 | ソフトウエアの形式的洗練化と検証に関する基礎的研究 |
論文名(欧文) | |
学位授与年度 | 1999 |
学位種別/学位種類 | 2(論文博士) / 036(博士(工学)) |
報告番号 | 5619 |
学位授与年月日 | 2000-03-24 |
主査/副査 | 宮本,衛市 / 嘉数,侑昇 大内,東 和田,充雄 |
所在 | |
配架番号 | |
備考 | |
内容の要旨と審査の要旨 | 5619_hayashi.pdf |