大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 软件规约方法与Z语言 [电子资源]
名称 软件规约方法与Z语言 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 2000
ISBN 7563015833
页数 262页
价格
标签
简介
注解 本书包括：软件规约方法和语言、一阶逻辑和集合论、模式与规约、模式推理、Z语言的面向对象扩充等16章。