书目详细信息
： 软件形式规格说明语言—Z
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-29277-7:CNY34.50 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 软件形式规格说明语言—Z/.繆淮扣，陈怡海编著 |
| 出版发行项： | 北京:,清华大学出版社:,2012 |
| 载体形态项： | 299页:;+26cm |
| 一般附注： | 普通高等教育“十一五”国家级规划教材 软件工程专业核心课程系列教材 |
| 提要文摘： | 本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了Z规格说明的推理和求精方法。本书还介绍了面向对象的规格说明语言Object—Z和其他形式方法表示和工具。 |
| 题名主题： | 软件工程 高等教育 教材 |
| 中图分类： | TP311.5 |
| 个人名称等同： | 繆淮扣 编著 |
| 个人名称等同： | 陈怡海 编著 |