我需要 软件可靠性方法_12950849,我要书籍的百度网盘
发布网友
发布时间：2024-10-24 11:50
共1个回答
热心网友
时间：2024-11-06 04:30
我这里有您想要的资源，通过百度网盘免费分享给您：
https://pan.baidu.com/s/1ltjj3L3_jZ5jAeCicb5DDg
提取码：1234《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。
