描述
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