|
题名:
|
软件形式规格说明语言-Z
/
缪淮扣, 陈怡海编著
,
|
|
ISBN:
|
978-7-302-29277-7
价格：
CNY34.50
|
|
语种:
|
chi
|
|
载体形态:
|
299页
图
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
清华大学出版社
出版日期：
2012.11
|
|
内容提要:
|
本书旨在讨论软件工程中形式方法的概念、方法和表示法, 并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构。
|
|
主题词:
|
软件工程
高等教育
|
|
中图分类法:
|
TP311.5
版次：
5
|
|
主要责任者:
|
缪淮扣
编著
|
|
主要责任者:
|
陈怡海
编著
|