名称：软件工程形式化方法与语言
作者:吴江琴
出版社:浙江大学出版社
格式：pdf,txt 
本电子书只供学习参考，请更多地支持正版图书。 

软件工程形式化方法与语言内容简介

《软件工程形式化方法与语言》pdf书下载。

软件工程形式化方法与语言部分内容

pdf电子书介绍《软件工程形式化方法与语言》作者吴江琴和浙江年夜学出书社为本套书的出书付出了许多哟！。
　　 本书既可以作为计较机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。本书选取并介绍了三种代表性的形式化方法，它们别离是以集合论和一阶谓词演算为根本的z语言，以时态逻辑为根本的xyz，还有以直觉数学学派为根本的类型理论。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力。
。本站的pdf电子书《软件工程形式化方法与语言》主要是由网络收集整理来的，最终著作权仍归属于原书的作者吴江琴和出版商。如果您喜欢这本书，请多多支持我们的图书出版事业，让辛苦写书的作者得到应有的回报。在此也要感谢浙江大学出版社，感谢出版社为《软件工程形式化方法与语言》的出版所做的工作。本站只提供图书的试读版，同时欢迎更多的爱好读书的朋友来电子书下载网来分享更多好看的pdf电子书，免费下载您所需要的电子书籍。最后衷心感谢您下载《软件工程形式化方法与语言》pdf版免费电子书。

参考: 免费电子书 软件工程形式化方法与语言