大拱桥--暨南大学学生门户 » 图书馆 » 软件工程 » 软件形式规格说明语言-Z
名称 软件形式规格说明语言-Z
索引号 TP311.5/201332
分类号 TP311.5
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 缪淮扣、陈怡海、
出版社 北京 : 清华大学出版社, 2012
ISBN 978-7-302-29277-7
页数 299页 : 图 ; 26cm
价格 CNY34.50
标签
简介
注解 普通高等教育“十一五”国家级规划教材 有书目 (第296-299页)
书籍简介

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