使用B语言的形式说明与开发/formal specification and development in B
使用B语言的形式说明与开发/formal specification and development in B作者： Jacques Julliand，Olga Kouchnarenko 著 出 版 社： 广东教育出版社 出版时间： 2006-12-1字数：版次： 1页数： 292印刷时间： 2006/12
实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems作者： Werner Damm 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 452印刷时间： 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
基本信息出版社:Routledge (2013年3月1日)丛书名:Routledge African Studies精装:160页语种：英语ISBN:0415818885条形码:97804158188
Introduction to Formal Specification and Z (平装)基本信息出版社:Prentice Hall (1996年6月21日)平装:448页正文语种:英语ISBN:0132422077条形码:9780132422079产品尺寸及重量:23.4 x 17.5
iPhone开发实战(图灵程序设计丛书·移动开发系列)(iPhone in Action:Introduction to Web and SDK Development)基本信息·出版社：人民邮电出版社 ·页码：346 页 ·出版日期：2009年10月 ·ISBN：7115213054/9787115213051 ·条形码：9787115213051 ·包装版本：第1
中国农村人力资源开发与利用研究(Research on Rural Human Resource Development and Utilization in China)基本信息·出版社：中国农业出版社 ·页码：216 页 ·出版日期：2005年 ·ISBN：7109100170 ·条形码：9787109100176 ·包装版本：1版 ·装帧：平装 ·开本：32 ·
Mainstream and Formal Epistemology主流与形式认识论作者： Vincent F. Hendricks著 出 版 社： 出版时间： 2005-12-1字数：版次：页数： 188印刷时间： 2005/12/01开本： 16开印次：纸张： 胶版纸I S B
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
百态 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
