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

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号:
作者:Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类