Nobuo Kawaguchi : Research Activities
河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。 連絡先 : kawaguti[at]nagoya-u.jp
| 番号 | 134 |
| 著者 | 河口信夫, 坂部俊樹, 稲垣康善 |
| タイトル | 代数的仕様の解析･検証･変換のための視覚的支援環境 |
| 掲載誌等 | 第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集 |
| VolNo.等 | |
| ページfrom | 9 |
| ページto | 16 |
| 発表・掲載日 | 1994-12-15 |
| ファイル（PDF） | 第1回ソフトウエアエ学の基礎ワークシヨツプ(FOSE94)論文集.pdf (2MB) |
| ダウンロード数 | 41 |
| 言語 | 日本語 |
| 開催地 | |
| 出版社 | |
| 種別 | 研究会等 |
| YouTube | |
| 備考 |