| 大会名称 |
|---|
| 2004年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2004 |
| 発行日 |
| 2004/8/20 |
| セッション番号 |
| 3R |
| セッション名 |
| 形式手法 |
| 講演日 |
| 2004/09/07 |
| 講演場所(会議室等) |
| R会場（知真館1F TC1-124） |
| 講演番号 |
| B-034 |
| タイトル |
| 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証 |
| 著者名 |
| 渡辺 真啓, 中村 正樹, 二木 厚吉, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (286.3KB) |
| 大会名称 |
|---|
| 2004年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2004 |
| 発行日 |
| 2004/8/20 |
| セッション番号 |
| 3R |
| セッション名 |
| 形式手法 |
| 講演日 |
| 2004/09/07 |
| 講演場所(会議室等) |
| R会場（知真館1F TC1-124） |
| 講演番号 |
| B-034 |
| タイトル |
| 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証 |
| 著者名 |
| 渡辺 真啓, 中村 正樹, 二木 厚吉, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (286.3KB) |