您的位置:china-pub网上书店 > 计算机 > 软件工程及软件方法学 > 软件质量、软件测试及维护 > 软件可靠性方法[图书](图灵奖得主Clarke作序、北大南大教授联袂推荐,软件形式化方法经典著作)