软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification

软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification

作者： Klaus Havelund 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 255印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing

作者： Wolfgang Grieskamp，Carsten Weise 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次：页数： 217印刷时间： 2006/12/01开

Software Testing and Quality Assurance: Theory and Practice (精装)

基本信息出版社:WileyBlackwell (2008年8月18日)外文书名:软件测试和质量保证: 理论和实践精装:648页正文语种:英语ISBN:0471789119条形码:97804717891

可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing -- SAT 2006

作者： Armin Biere 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 438印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

形式方法和软件工程LNCS-4260: Formal methods and software engineering

作者： Zhiming Liu 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 775印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

软件测试与持续质量改进(第2版)(图灵计算机科学丛书)(Software Tasting and Continuous Quality Lmprovement)

基本信息·出版社：人民邮电出版社 ·页码：337 页 ·出版日期：2008年 ·ISBN：9787115171610 ·包装版本：第1版 ·装帧：其他 ·开本：16 ·正文语种：中文 ·丛书名：图灵

自动测试系统:硬件及软件技术(研究生教学用书)(Automatic test system: hardware and software technology)

基本信息·出版社：高等教育出版社 ·页码：420 页 ·出版日期：2007年 ·ISBN：9787040222579 ·条形码：9787040222579 ·包装版本：1版 ·装帧：平装 ·开本：1

地理空间分析:原理、技术与软件工具(第2版)(高等学校教材)(Geospatial Analysis:A Comprehensive Guide to Principle,Techniques and Software Tools Second Edition)

基本信息·出版社：电子工业出版社 ·页码：379 页 ·出版日期：2009年 ·ISBN：7121081342/9787121081347 ·条形码：9787121081347 ·包装版本：2版 ·

软件重用：方法、技术与工具／会议录Software reuse:Methods,Techniques,and Tools

作者： Cristina Gacek 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 352印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

验证与分析的自动化技术 Automated technology for verification and analysis

作者： Susanne Graf 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 540印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B