软件工程形式化方法与语言

正版新书新华官方库房直发可开电子发票

22.91 7.9折 29 全新

库存4件

江苏泰州

认证卖家担保交易快速发货售后保障

作者吴江琴，李莹著作

出版社浙江大学出版社

ISBN9787308066679

出版时间2010-06

装帧平装

开本16开

纸张胶版纸

定价29元

货号SC:9787308066679

上书时间2024-11-20

已实名已认证进店收藏店铺

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

— 没有更多了 —