大拱桥--暨南大学学生门户 » 图书馆 » 形式语言理论 » ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
名称 ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
索引号 TP301.2-532/E991/9
分类号 TP301.2-532/E991
TP301.2(形式语言理论)
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 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.
ISBN
页数 xi, 569, [2] p. : ill. ; 24 cm.
价格
标签
简介
注解