Z规范及其使用方法 9787030447876

配送至
$ $ USD 美元

商品编号: 3413563 类别: 图书 计算机与互联网 软件工程及软件方法学 软件方法
本书共分为10章，主要内容包括：绪论、集合、命题、模式、函数表达式、谓词、关系、Z语言的使用实例、Z语言的使用、Z规格说明生成器。
出版社科学出版社
作者赵正旭，温晋杰，赵卫华