软件测试与运行期验证 Havelund, Klaus; Nnez, Manuel; Rosu, Grigore 湖南文艺出版社 出版时间:2006-12出版社:湖南文艺出版社作者:Havelund, Klaus; Nnez, Manuel; Rosu, Grigore页数:255 图书封面 下载链接 软件测试与运行期验证PDF格式下载