大拱桥--暨南大学学生门户 » 图书馆 » 软件开发 » 软件开发的形式化工程方法 : 结构化+面向对象+形式化
名称 软件开发的形式化工程方法 : 结构化+面向对象+形式化
索引号 TP311.52/E20096
分类号 TP311.52
TP311.52(软件开发)
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Liu、 Shaoying、
出版社 北京 : 清华大学出版社, 2008.
ISBN
页数 xxii, 408 p. : ill. ; 26 cm.
价格
标签
简介
注解 Reprint. Originally published: Berlin ; New York : Springer, 2004. Formal engineering for industrial software development : using the SOFL method. 3540206027.