-
软件工程形式化方法与语言
¥24.7(8.5折)定价:¥29.0本书选取并介绍了三种代表性的形式化方法,它们分别是以集合论和一阶谓词演算为基础的z语言,以时态逻辑为基础的xyz,还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材,又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多,但是有必要通过对该课程的学习,使学生在理论、技术和方法上都得到了系统而有效的训练,有利于提高软件人员的素质和能力...
本书选取并介绍了三种代表性的形式化方法,它们分别是以集合论和一阶谓词演算为基础的z语言,以时态逻辑为基础的xyz,还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材,又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多,但是有必要通过对该课程的学习,使学生在理论、技术和方法上都得到了系统而有效的训练,有利于提高软件人员的素质和能力...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394