扫一扫
关注中图网
官方微博
>
关于“可信软件基础研究项目组”检索到 共2种现货商品
售价：
-
The Fundamental Research for Trustworthy Software(可信软件基础研究)
¥53.0(7.8折)定价:¥68.0本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。该重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，获得了重要成果和进展...
-
可信软件基础研究
¥49.0(7.2折)定价:¥68.0可信软件基础研究项目组编的《可信软件基础研究》系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。以嵌入式软件和网络应用软件可信性问题为主攻目标，以国家关键应用领域中软件可信性问题为突破口，建立可信软件基础研究的研究框架，研究成果揭示了软件可信性和环境可信性度量与演化的基本规律，构建了可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，建立了可信软件开发工具和运行支撑平台...
