(综合形式方法/会议录)Integrated formal methods
(综合形式方法/会议录)Integrated formal methods作者： Michael Butler等著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 399印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B
形式方法应用的杠杆作用： ISoLA 2004/会议论文集 Leveraging applications of formal methods作者： Tiziana Maragria，Bernhard Steffen 著 出 版 社： 湖南文艺出版社 出版时间： 2004-12-1字数：版次： 1页数： 196印刷时间： 2006/12/
形式方法－获得完美信息技术 /Formal Methods--Getting IT Right作者： Lars-Henrik Eriksson著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 625印刷时间： 2002/12/01开本：印次：纸张： 胶版纸
Web服务与形式方法/Web services and formal methods作者： Mario Bravetti著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 286印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
组件和对象用形式方法/Formal methods for components and objects作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
形式方法和软件工程LNCS-4260: Formal methods and software engineering作者： Zhiming Liu 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 775印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing作者： Wolfgang Grieskamp，Carsten Weise 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次：页数： 217印刷时间： 2006/12/01开
极限编程与灵巧方法—XP灵巧通用2002／会议录 Extreme programming and agile methods作者： Don Wells著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 292印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N
Mainstream and Formal Epistemology主流与形式认识论作者： Vincent F. Hendricks著 出 版 社： 出版时间： 2005-12-1字数：版次：页数： 188印刷时间： 2005/12/01开本： 16开印次：纸张： 胶版纸I S B
FM 2006：形式方法会议/会议录FM 2006作者： Jayadev Misra著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 616印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
百态 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
