|
题名:
|
软件可靠性方法 / (以) Doron A. Peled著 , 王林章, 卜磊, 陈鑫, 张天, 赵建华, 李宣东译 |
|
ISBN:
|
978-7-111-36553-2 价格： CNY45.00 |
|
语种:
|
chi |
|
载体形态:
|
196页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2012 |
|
内容提要:
|
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 |
|
主题词:
|
软件可靠性 |
|
中图分类法:
|
TP311.5 版次： 5 |
|
主要责任者:
|
佩莱德 著 |
|
次要责任者:
|
王林章 译 |
|
次要责任者:
|
卜磊 译 |
|
次要责任者:
|
陈鑫 译 |
|
附注:
|
国防科技大学内部教材 计算机学院 |
|
责任者附注:
|
责任者规范汉译姓：佩莱德 |