软件开发的形式化方法
软件开发的形式化方法作者： 古天龙编 出 版 社： 高等教育出版社 出版时间： 2005-1-1字数：版次： 1页数： 265印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787040160796包
成功软件开发方法作者： （美）凯斯勒，（美）斯威泽著，蔡黄辉，沈晓霞等译 出 版 社： 机械工业出版社 出版时间： 2009-8-1字数：版次： 1页数： 157印刷时间：开本： 16开印次：纸张：I S B N
作者： 竹宇光,刘兰娟编著 出 版 社： 上海财经大学出版社 出版时间： 2001-9-1字数：版次： 第一版页数： 188页印刷时间：开本：印次：纸张：I S B N ： 9787810495
软件开发的形式化工程方法：结构化＋面向对象＋形式化（国外经典教材·计算机科学与技作者： （日）刘少英著 出 版 社： 清华大学出版社 出版时间： 2008-8-1字数： 534000版次： 1页数： 408印刷时间： 2008/08/01开本： 16开印次： 1纸张： 胶版纸I
使用B语言的形式说明与开发/formal specification and development in B作者： Jacques Julliand，Olga Kouchnarenko 著 出 版 社： 广东教育出版社 出版时间： 2006-12-1字数：版次： 1页数： 292印刷时间： 2006/12
形式方法应用的杠杆作用： ISoLA 2004/会议论文集 Leveraging applications of formal methods作者： Tiziana Maragria，Bernhard Steffen 著 出 版 社： 湖南文艺出版社 出版时间： 2004-12-1字数：版次： 1页数： 196印刷时间： 2006/12/
Web服务与形式方法/Web services and formal methods作者： Mario Bravetti著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 286印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
(综合形式方法/会议录)Integrated formal methods作者： Michael Butler等著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 399印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B
FM 2006：形式方法会议/会议录FM 2006作者： Jayadev Misra著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 616印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
组件和对象用形式方法/Formal methods for components and objects作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
百态 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
