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