WEKO3
アイテム / 代数的手法に基づくプログラミング言語の仕様記述法とプログラム検証に関する研究 / ko2235-1
ko2235-1
ファイル | ライセンス |
---|---|
ko2235-1.pdf (371.0 kB) sha256 c40dd80670d47279d1d5adf44ae01c2fa83a15361e036444f3bc82e5b789cb7b |
公開日 | 2009-04-15 | |||||
---|---|---|---|---|---|---|
ファイル名 | ko2235-1.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/9666/files/ko2235-1.pdf | |||||
ラベル | ko2235-1.pdf 要旨 | |||||
オブジェクトタイプ | abstract | |||||
フォーマット | application/pdf | |||||
サイズ | 371.0 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|