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