コンピュータ ソフトウェア
Print ISSN : 0289-6540
Maude:書換え論理に基づく計算機言語および処理系
緒方 和博中村 正樹二木 厚吉
著者情報
ジャーナル フリー

2008 年 25 巻 2 号 p. 2_78-2_84

詳細
記事の1ページ目
著者関連情報
© 日本ソフトウェア科学会 2008
前の記事 次の記事
feedback
Top