当前位置：首页 > 科技 - 软件可靠性方法 pdf电子版图书
软件可靠性方法 简介
本书通过大量的形式化表示和技术, 向读者提供了各种用于提高软件可靠性的形式化方法, 包括演绎验证, 自动验证, 测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线, 比较了各种方法的不同之处, 并讨论了它们的优缺点。
关于我们 - 网站帮助 - 版权声明 - 友情连接 - 网站地图
本站所收录作品、社区话题、书库评论及本站所做之广告均属其个人行为，与本站立场无关
本站所有的作品，图书，资料均为网友更新，如果侵犯了您的权利，请与本站联系，本站将立刻删除(E-MAIL：847151540@qq.com)
Copyright © 2005-2016 www.gbook.cc All Rights Reserved.备案号