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

类别:: 图书 - 教育科技
状态:: 精华资源
摘要:: 图书分类: 考试出版社: 浙江大学出版社发行时间: 2010年3月语言: 简体中文
发布:: 2012-04-16 19:53:33
更新:: 2012-04-17 14:21:40

电驴资源

用户共享的电驴资源列表
[软件工程形式化方法与语言].李莹.吴江琴.扫描版.pdf	8.54 MB
全选	8.54 MB

电驴资源简介

简介:

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