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