| 商家名称 | 信用等级 | 购买信息 | 订购本书 |
 |
 |
软件可靠性方法 |  |
 |
|
软件可靠性方法 | |
出版日期: 2012年3月1日
《软件可靠性方法》内容简介：用于创建可靠软件的形式化方法一直处于不断的开发和改进之中最近，人们对于形式化方法工具的重要组成有了更深入的理解，从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来《软件可靠性方法》介绍了各种能解决软件可靠性问题的方法理想情况下，形式化方法应该用起来直观，学起来简洁、快速，对开发过程的影响微乎其微《软件可靠性方法》对各种方法进行了比较，揭示了它们各自的优点和缺点，同时紧扣自动机理论和逻辑这两个主题在尽可能减少背景知识介绍的前提下，《软件可靠性方法》向非专家读者描述了多种技术，并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。
喜欢软件可靠性方法请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务
