（美）莱特著2014 年出版330 页ISBN：9787118100068
本书分为12章。第1章介绍了可信性，并且激励读者能够继续研究；第2章介绍了可信性工程的基本术语；第3章介绍几种不同的故障模式以及应对这些故障的处理措施。第4章讨论了怎样识别那些系统常常会发生的故障。第5...
可信软件基础研究项目组编2018 年出版94 页ISBN：9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
胡俊，沈昌祥，公备著2017 年出版228 页ISBN：9787115457776
本书以可信计算的工程开发为主线，重点介绍可信计算如何用来解决实际环境中的具体问题，通过实际问题，将可信计算各个知识点串起来，让读者了解可信计算体系及其与实际信息系统的交互方式，掌握基本的可信计算开发方...
赵国瑞等主编1999 年出版242 页ISBN：7561811446
暂缺《计算机软件技术基础：C++， 数据结构， 软件工程》简介
汪大菊，葛卫民等编著2000 年出版234 页ISBN：7561812663
暂缺《计算机软件技术基础：FORTRAN、数据结构、软件工程》简介
