软件验证与确认

本书系统介绍了武器装备软件的设计与分析的理论、技术,既有理论方法介绍,又有应用实例,为装备的软件可靠...

2011.4