【书名】：《Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9th International Conference,FOSSACS 2006,,Springer-Verlag,2006》
【作者】：
【出版社】：
【时间】：
【页数】：447
【ISBN】：3540330453
【SS码】：40361454