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