【书名】：《Lecture Notes in Computer Science 3423 Recent Trends in Algebraic Development Techniques 17th International Workshop,WADT 2004,,Springer-Verlag,2005》
【作者】：
【出版社】：
【时间】：
【页数】：271
【ISBN】：3540253270
【SS码】：40360677