缪淮扣

《普通高等教育"十一五"国家级规划教材•软件工程专业核心课程系列教材:软件形式规格说明语言(Z)》旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍Z的类型系统、数学语言和公理定义、通用式定义