【书名】：《Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice 11th International Workshop,ASM 2004,,Springer-Verlag,2004》
【作者】：
【出版社】：
【时间】：
【页数】：235
【ISBN】：3540220941
【SS码】：40365713