【书名】：《Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International Symposium,FMCO 2006 Amsterdam,The Netherlands,November 7-10,2006,,Springer-Verlag,2007》
【作者】：
【出版社】：
【时间】：
【页数】：298
【ISBN】：9783540747918
【SS码】：40366866