软件可靠性方法
- 作者
- 佩莱得(Doron A.Peled)
- 出版社
- 机械工业出版社 版次：第1版
- 出品方
- 机械工业出版社
- 语言
- 简体中文
- 页数
- 196页
- 装帧
- 平装
- ISBN
- 9787111365532
- 分类
- 软件工程及软件方法学
- 重量
- 399 g
- 尺寸
- 25.8 x 18.4 x 1.2 cm
- 电子书格式
- epub,pdf,txt,azw3,mobi,fb2,djvu
- 下载次数
- 7351
- 更新日期
- 2023-05-30
《软件可靠性方法》内容简介：用于创建可靠软件的形式化方法一直处于不断的开发和改进之中最近，人们对于形式化方法工具的重要组成有了更深入的理解，从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来《软件可靠性方法》介绍了各种能解决软件可靠性问题的方法理想情况下，形式化方法应该用起来直观，学起来简洁、快速，对开发过程的影响微乎其微《软件可靠性方法》对各种方法进行了比较，揭示了它们各自的优点和缺点，同时紧扣自动机理论和逻辑这两个主题在尽可能减少背景知识介绍的前提下，《软件可靠性方法》向非专家读者描述了多种技术，并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。
软件可靠性方法 EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。