当当读书
B方法与形式化软件开发技术研究

B方法与形式化软件开发技术研究

崔梦天,韩伟
0
￥8.40 抢 秒 原价￥8 ￥ 开通租阅权，免费读此书
提示：数字商品不支持退换货，不提供源文件，不支持导出打印。
评论 赠一得一 收藏 分享
此书籍暂不支持在移动端购买和阅读

内容简介

随着信息技术应用范围的扩大和层次的深入，软件作为信息技术的核心和灵魂，在信息社会中发挥着至关重要的作用。软件首先要可信，目前软件行业不断面临着软件失效的挑战。因此，人们对软件的正确性、可靠性、安全性和保密性等可信性质给予了十分的关注，如何在软件的开发和运行中保证软件具有高可信性，成为软件理论和技术的重要研究方向。
展开
大家都在看换一批
大家都在看换一批
领取优惠券

温馨提示：

您已领取的礼券，请到【个人中心】-【资产】中查看。