v

您的位置:VeryCD图书教育科技

图书资源事务区


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

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

cctv098998

精华资源: 10385

全部资源: 10385

相关: 分享到新浪微博   转播到腾讯微博   分享到开心网   分享到人人   分享到QQ空间   订阅本资源RSS更新   美味书签  subtitle
该内容尚未提供权利证明,无法提供下载。
中文名软件工程形式化方法与语言
图书分类考试
资源格式PDF
版本扫描版
出版社浙江大学出版社
书号9787308066679
发行时间2010年3月
地区大陆
语言简体中文
简介

IPB Image

内容介绍:

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

内容截图:

IPB Image



目录

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

正在读取……

这里是其它用户补充的资源(我也要补充):

暂无补充资源
正在加载,请稍等...

点击查看所有12网友评论

 

(?) [公告]留口水、评论相关规则 | [活动]每日签到 轻松领取电驴经验

    小贴士:
  1. 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  2. 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  3. 勿催片。请相信驴友们对分享是富有激情的,如果确有更新版本,您一定能搜索到。
  4. 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。
  5. 如果您发现自己的评论不见了,请参考以上4条。