大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 软件工程 » 软件形式规格说明语言-Z
名称 软件形式规格说明语言-Z
索引号 TP311.5-43/66
分类号 TP311.5-43
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 缪淮扣、陈怡海、
出版社 北京：清华大学出版社，2012
ISBN 978-7-302-29277-7
页数 299页
价格 CNY34.50
标签 软件工程、高等教育教材、
简介 软件工程专业核心课程系列教材
注解 本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了Z规格说明的推理和求精方法。本书还介绍了面向对象的规格说明语言Object Z和其他形式方法表示和工具。全书结构合理、内容丰富、实例详尽多样。各章配有习题。
书籍简介

《普通高等教育"十一五"国家级规划教材•软件工程专业核心课程系列教材:软件形式规格说明语言(Z)》旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了z规格说明的推理和求精方法。《普通高等教育"十一五"国家级规划教材•软件工程专业核心课程系列教材:软件形式规格说明语言(Z)》还介绍了面向对象的规格说明语言Object—Z和其他形式方法表示和工具。《普通高等教育"十一五"国家级规划教材•软件工程专业核心课程系列教材:软件形式规格说明语言(Z)》结构合理、内容丰富、实例详尽多样。各章配有习题。