软件验证与确认

本书系统介绍了武器装备软件的设计与分析的理论、技术，既有理论方法介绍，又有应用实例，为装备的软件可靠性设计与验证提供了技术指导。