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

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.