Nobuo Kawaguchi : Research Activities
河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。 連絡先 : kawaguti[at]nagoya-u.jp
番号 | 133 |
著者 | 河口信夫, 坂部俊樹, 稲垣康善 |
タイトル | 代数的仕様の解析・検証・変換のための視覚的支援環境 |
掲載誌等 | ソフトウェア工学の基礎Ⅰ,レクチャーノート/ソフトウェア学14 |
VolNo.等 | |
ページfrom | 11 |
ページto | 20 |
発表・掲載日 | None |
ファイル(PDF) | |
ダウンロード数 | |
言語 | 日本語 |
開催地 | |
出版社 | 近代科学社 |
種別 | 研究会等 |
YouTube | |
備考 |