软件工程形式化方法与语言

书籍简介:

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算；第四部分是介绍XYZ系统在时序逻辑语言方面的主要内容。

书籍规格:

书籍信息归属:

软件工程形式化方法与语言是浙江大学出版社于2009.03出版的中图分类号为 TP311.5 的主题关于 软件工程 的书籍。