Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

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

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

言及状況

Twitter (2 users, 2 posts, 0 favorites)

1 1 https://t.co/BZP2PH8TZ8 https://t.co/1SBHDPLWu3

収集済み URL リスト