佩莱得(Doron A.Peled)

《软件可靠性方法》内容简介：用于创建可靠软件的形式化方法一直处于不断的开发和改进之中最近，人们对于形式化方法工具的重要组成有了更深入的理解，从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来《软件