説明
Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.
本の詳細
形式
ペーパーバック
ページ数
274ページ
言語
英語
公開されました
Oct 6, 2010
出版社
Springer
ISBN-10
3642163092
ISBN-13
9783642163098