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

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

0
索取号：TP301.2-532/E991/9
作者：International Conference of Z Users (9th : 1995 : Limerick、 Limerick、 Ireland)、Bowen、 J. P. (Jonathan Peter)、 1956-、Hinchey、 Michael G. (Michael Gerard)、 1969-、
出版社：Berlin ; New York : Springer, c1995.