大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP311.52-532/E20021)(共2本)

FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

0
索取号：TP311.52-532/E20021/2001
作者：Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、
出版社：Berlin ; New York : Springer, c2001.

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

0
索取号：TP311.52-532/E20021/1996
作者：
出版社：Berlin ; New York : Springer, 1996.