软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing
软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing作者： Wolfgang Grieskamp，Carsten Weise 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次：页数： 217印刷时间： 2006/12/01开
软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification作者： Klaus Havelund 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 255印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
计算屏障的逻辑方法： CiE 2006/会议录 Logical approaches to作者： Arnold Beckmann 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 608印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
有限状态方法与自然语言处理： FSMNLP 2005/会议文集/Finite-state methods and natural language processing作者： Anssi Yli-lyta 等著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 312印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
基本信息平装ISBN:9787302228134条形码:9787302228134ASIN:B003VD360O
软件测试方法和技术:软件工程(高等学校教材)基本信息·出版社：清华大学出版社 ·页码：430 页 ·出版日期：2005年 ·ISBN：7302111332 ·条形码：9787302111337 ·包装版本：1 ·装帧：平装 ·开本：16开 ·
软件测试方法与实践作者： 郁莲 编著 出 版 社： 清华大学出版社 出版时间： 2008-11-1字数： 326000版次： 1页数： 219印刷时间： 2008/11/01开本： 16开印次： 1纸张： 胶版纸I
软件测试基础：方法与度量作者： （美）哈奇森（Hutche-son，M.L.）著，包晓露译 出 版 社： 人民邮电出版社 出版时间：字数： 360000版次： 1页数： 286印刷时间： 2007/09/01开本：印次：纸张
软件工程中的生成与转换技术： GTTSE 2005/会议文集 Generative and transformational techniques in software engineering作者： Ralf Lämmel，João Saraiva，Joost Visser 著 出 版 社： 湖南文艺出版社 出版时间： 2005-12-1字数：版次： 1页数： 4
性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation作者： András Horváth 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 237印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
百态 2023-10-24
百态 2023-09-13
探索 2023-09-06
百态 2023-09-06
百态 2023-08-20
干货 2023-08-06
百态 2023-08-04
百态 2023-07-31
百态 2023-07-25
探索 2023-07-21
探索 2023-07-09
探索 2023-07-02
百态 2020-08-20
百态 2020-05-09
干货 2020-04-30
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
