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

Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

0
索取号：
作者：Liu、 Shaoying.、Maibaum、 Tom.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

软件开发的形式化工程方法 : 结构化+面向对象+形式化

0
索取号：TP311.52/E20096
作者：Liu、 Shaoying、
出版社：北京 : 清华大学出版社, 2008.