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

Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

0
索取号：
作者：Lee、 David.、Lopes、 Ant贸nia.、Poetzsch-Heffter、 Arnd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.