MARC状态：审校 文献类型：中文图书 浏览次数：41
- 题名/责任者:
- 软件形式规格说明语言—Z/繆淮扣，陈怡海编著
- 出版发行项:
- 北京:清华大学出版社,2012
- ISBN及定价:
- 978-7-302-29277-7/CNY34.50
- 载体形态项:
- 299页;26cm
- 个人责任者:
- 缪淮扣 编著
- 个人责任者:
- 陈怡海 编著
- 学科主题:
- 软件工程-高等教育-教材
- 中图法分类号:
- TP311.5
- 一般附注:
- 普通高等教育“十一五”国家级规划教材 软件工程专业核心课程系列教材
- 提要文摘附注:
- 本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了Z规格说明的推理和求精方法。还介绍了面向对象的规格说明语言Object-Z和其他形式方法表示和工具。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.5/235 | 71848452 | - |  密集书库126（2F咨询台委托借阅）
M0074734 |
可借 | 密集书库126（2F咨询台委托借阅） |
| TP311.5/235 | 71848451 | - | 密集书库126（非可借）
|
非可借 | 密集书库126（非可借） |
| TP311.5/235 | 71848453 | - | 自然书库（3F东）
|
可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架