软件工程学相关电子书下载

李莹，吴江琴著2010 年出版200 页ISBN：9787308066679

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

甘玮，陈增照编2015 年出版132 页ISBN：7543091860

本书依托华中师范大学国家数字化学习工程技术研究中心研发的starC数字课程教学系统，提出了信息化环境下，基础音乐课堂教育未来的教学模式和具体实施方案。参考目前国际上类似的教学案例成果，提出适合中国基础...

1989 年出版632 页ISBN：

1991 年出版734 页ISBN：

2222 年出版273 页ISBN：

1994 年出版335 页ISBN：

2222 年出版125 页ISBN：

（美）马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022

本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。

吴世忠，郭涛，董国伟，张普含著2014 年出版520 页ISBN：9787030418906

本书首先介绍了软件漏洞在当今社会所造成的影响，进而引出漏洞的基本概念，包括定义、特点、分类等，在此基础上总结了现今普遍应用的漏洞分析方法，并进一步将其划分为源代码漏洞分析、二进制漏洞分析、架构安全性...

罗国庆著2010 年出版381 页ISBN：9787501794447

本书是“软件炒股学习教程”系列的第三本，也是《股市实战：精准买卖点秘技大全》的续篇。书中详细地介绍了技术分析要旨与实战公式注意事项、指标导入方法、股票买卖常用公式的编写实例以及精选的大智慧、通达...