软件工程形式化方法与语言 扫描版 李莹,吴江琴 李莹 吴江琴 扫描版 pdf

作者: 李莹
吴江琴

图书分类: 考试

资源格式: PDF

版本: 扫描版

出版社: 浙江大学出版社

书号: 9787308066679

发行时间: 2010年3月

地区: 大陆

语言: 简体中文

简介: 

目录: 

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

内容介绍：

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

内容截图：

书我要，下载先！ http://www.books51.com/ 祝您开卷有益！

本文链接: http://www.books51.com/294248.html

上一篇: 商业级iPhone和iPad应用开发：成功制作和销售自己的应用程序 (The Business of iPhone and iPad App Developm Dave WooldridgeMichael Schneider The Business of iPhone and iPad App Development Dave Wooldridge and Michael Schneider 文字版 pdf

下一篇: Java2游戏编程 (Java 2 Game Programming)扫描版 Thomas Petchel (Java 2 Game Programming) (美)Thomas Petchel 扫描版 pdf

(0 次顶, 0 人已投票)
你必须注册后才能投票！

Loading...