请输入要查询的图书:
副标题: Formal Methods Based on Tree Transducers
ISBN: 9783540646075
作者: Zoltan Fulop
出版社: Springer Verlag
页数: 269
定价: 79.95
装帧: HRD