软件工程卷1：抽象与建模(1/3)
一共3个压缩包，这是第1个《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。.◆《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向
下载地址
用户评论
英文版的第一部分，要是有中文的就好了
这个是英文版的第一部分，质量不错，要是有中文的就好了，呵呵
只有一个压缩包，另外两个在哪里
坑爹的资源，大家别上当，这书要下三个包才能解压
很垃圾，不好解压缩
全英文的，要下的考虑好。参考价值不大。
正式项目需求中的，谢谢了。。。。
可惜是英文的,如果是中文的就好了 还是很清晰的
要和另外两部分一块解压
没有找到另外三个包……