书籍简介:

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。

书籍规格:

书籍详细信息
书名	可信软件基础研究站内查询相似图书
	9787308188715 如需购买下载《可信软件基础研究》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	杭州	出版单位	浙江大学出版社
版次	1版	印次	1
定价(元)	68.0	语种	简体中文
尺寸	24 × 17	装帧	精装
页数		印数

全网搜索试读资源

书籍信息归属:

可信软件基础研究是浙江大学出版社于2018.12出版的中图分类号为 TP311.56 的主题关于软件工具－研究的书籍。