文献一覧: 渡辺真啓 (著者) - Ceek.jp Altmetrics

2 0 0 0 B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)

著者: 渡辺真啓中村正樹二木厚吉
出版者: FIT(電子情報通信学会・情報処理学会)運営委員会
雑誌: 情報科学技術フォーラム一般講演論文集
巻号頁・発行日: vol.3, no.1, pp.173-174, 2004-08-20

2016-07-01 13:37:09
2 + 0 Twitter

https://ci.nii.ac.jp/naid/110007683646