返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
中国
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"浙江大学出版社"
作者:"可信软件基础研究项目组"
可信软件基础研究
:可信软件基础研究项目组
作者：
可信软件基础研究项目组
出版社：
浙江大学出版社
出版时间：
20180101
ISBN：
978-7-308-18871-5
索书号：
TP311.56/643
分类号：
TP311.56
页数：
94页
价格：
CNY68.00
丛书：
中国基础研究报告
复本数：
在馆数：
累借天数：
累借次数：
可信软件基础研究项目组编的《可信软件基础研究》系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。以嵌入式软件和网络应用软件可信性问题为主攻目标, 以国家关键应用领域中软件可信性问题为突破口, 建立可信软件基础研究的研究框架, 研究成果揭示了软件可信性和环境可信性度量与演化的基本规律, 构建了可信软件及其环境构造与验证、演化与控制的方法和关键技术体系, 建立了可信软件开发工具和运行支撑平台。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
浙江大学出版社
(
1
)
只显示前10条......
浙江大学出版社
(
1
)
查看更多信息......
作者
可信软件基础研究项目组
(
1
)
只显示前10条......
可信软件基础研究项目组
(
1
)
查看更多信息......
出版年
20180101
(
1
)
只显示前10条......
20180101
(
1
)
查看更多信息......
中国
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：