题名:	可信软件基础研究 / 可信软件基础研究项目组编 ,
ISBN:	978-7-308-18871-5 价格： 40.8
语种:	chi
载体形态:	94页 25cm
出版发行:	出版地：杭州出版社：浙江大学出版社出版日期： 2018.12
内容提要:	本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。
中图分类法:	TP311.56 版次：
附注:	本项目受国家自然科学基金委员会重大研究计划“可信软件基础研究”资助