商品详情
买前必读:
1-2个工作日内发货,周六日公休假期不发货
需要开发票的老师请在留言处注明发票抬头和统一社会信用代码或者税号,开电子发票的请再留一个邮箱
可信软件基础研究
ISBN 978-7-308-18871-5
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究,取得了重要成果和进展。
“可信软件基础研究”指导专家组组长为何积丰院士。
- 浙江大学出版社微店 (微信公众号认证)
- 浙江大学出版社直营店
- 扫描二维码,访问我们的微信店铺
- 随时随地的购物、客服咨询、查询订单和物流...