面向计算机科学的数理逻辑相关电子书下载

南京航空航天大学科技部编2011 年出版480 页ISBN：

南京航空航天大学科技部编2011 年出版518 页ISBN：

（美）弗兰克·徐（Frank Tsui），（美）奥兰多·卡拉姆（Orlando Karam），（美）芭芭拉·博纳尔（Barbara Bernal）著2018 年出版236 页ISBN：9787111607236

本书从基础入手，逐步介绍了软件工程的基本概念、软件过程模型、新兴过程方法、需求工程、设计的架构与方法论、设计的特征和度量、实现、测试、配置管理/集成/构建、软件支持和维护以及软件项目管理等内容。...

周自然编著2013 年出版208 页ISBN：7510445798

杨吉平著2019 年出版247 页ISBN：9787520344944

冯契著1983 年出版372 页ISBN：2074·417

（英）涅尔（Kmeale，W.）著；张家龙，洪汉鼎译1985 年出版948 页ISBN：2017·308

塞尔瓦托·坎纳沃（SALVATOR CANNAVO）著；王迅，徐鸣春译2003 年出版304 页ISBN：9576079373

杨正联著2013 年出版253 页ISBN：7511249708

杨熙龄著1986 年出版257 页ISBN：7205001811