|
题名:
|
软件可靠性方法
/
(以)Doron A. Peled著
,
王林章[等]译
|
|
ISBN:
|
978-7-111-36553-2
价格：
CNY45.00
|
|
语种:
|
chi
|
|
载体形态:
|
12,196页
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
机械工业出版社
出版日期：
2012
|
|
内容提要:
|
本书通过大量的形式化表示和技术,向读者提供了各种用于提高软件可靠性的形式化方法,包括演绎验证、自动验证、测试以及进程代数。
|
|
主题词:
|
软件可靠性
|
|
中图分类法:
|
TP311.5
版次：
5
|
|
主要责任者:
|
佩莱得
著
|
|
次要责任者:
|
王林章
译
|