《软件》编译部副刊组编相关电子书下载

全国计算机技术与软件专业技术资格（水平）考试办公室组编；雷震甲主编2007 年出版319 页ISBN：7560614930

本书是全国软考网络工程师考试的辅导用书。

幼狮编译部1977 年出版588 页ISBN：

广益书局编译部编辑1933 年出版278 页ISBN：

广益书局编译部编辑1933 年出版274 页ISBN：

广益书局编译部编辑1932 年出版218 页ISBN：

广益书局编译部编辑1933 年出版242 页ISBN：

周俊英主编；北京工业大学外语部《新编大学英语学习指导》编写组编2000 年出版446 页ISBN：7801630319

光明日报《科学》副刊组1982 年出版145 页ISBN：13051·1281

信息产业部计算机软件专业技术资格和水平考试办公室组编2002 年出版199 页ISBN：7302055092

可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...