大拱桥--暨南大学学生门户 » 图书馆 » 软件开发 » FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
名称 FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
索引号 TP311.52-532/E20021/2001
分类号 TP311.52-532/E20021
TP311.52(软件开发)
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、
出版社 Berlin ; New York : Springer, c2001.
ISBN
页数 xiii, 628 p. : ; ill. ; 24 cm.
价格
标签
简介
注解 Also available by subscription via the World Wide Web.