大拱桥--暨南大学学生门户 » 图书馆 » 形式语言理论 » 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. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | ||
粤公网安备 44030602003680号