软件工程形式化方法与语言扫描版[PDF]

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

资源信息： 中文名: 软件工程形式化方法与语言 作者: 李莹 吴江琴 图书分类: 考试 资源格式: PDF 版本: 扫描版 出版社: 浙江大学出版社 书号: 9787308066679 发行时间: 2010年3月 地区: 大陆 语言: 简体中文 概述:

内容介绍： 虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力，本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论，本书既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。 内容截图：

目录: 第1章 引论 第2章 命题逻辑 第3章 谓词逻辑 第4章 相等与确定性的描述 第5章 集合 第6章 对象的定义 第7章 关系 第8章 函数 第9章 序列 第10章 递归定义的类型 …………………………