类型：公司
成立时间：1984年
出版社特色：中国图书奖
浙江大学出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
软件工程形式化方法与语言书籍相关信息
内容简介：
《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。《软件工程形式化方法与语言》既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力。
全格式电子版 - 免费下载