大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Laneve 的图书(共1本)

Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

0
索取号：
作者：Laneve、 Cosimo.、Su、 Jianwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.