FM 2006：形式方法会议/会议录FM 2006
FM 2006：形式方法会议/会议录FM 2006作者： Jayadev Misra著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 616印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
形式方法应用的杠杆作用： ISoLA 2004/会议论文集 Leveraging applications of formal methods作者： Tiziana Maragria，Bernhard Steffen 著 出 版 社： 湖南文艺出版社 出版时间： 2004-12-1字数：版次： 1页数： 196印刷时间： 2006/12/
(综合形式方法/会议录)Integrated formal methods作者： Michael Butler等著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 399印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B
软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing作者： Wolfgang Grieskamp，Carsten Weise 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次：页数： 217印刷时间： 2006/12/01开
商品描述录音笔作为工作、学习中的专业工具已广泛地在企、事业单位、公司、教育培训机构、学校中使用，ANN录音笔厚积薄发，凭借多年在录音笔技术上的研发投入，将国际品牌的一些高端功能作为全系列录音笔的标准配
2006年公路隧道运营管理与安全国际学术会议论文集作者： 世界道路协会隧道专业技术委员会，中国公路学会隧道工程分会，重庆交通科研设计院编著 出 版 社： 重庆大学出版社 出版时间： 2006-10-1字数： 684000版次： 1页数： 379印刷时
现代地震勘探与信息应用技术：周熙襄学术讨论会第一次会议论文集（2006）作者： 徐峰 等主编 出 版 社： 地质出版社 出版时间： 2006-9-1字数： 456000版次： 1页数： 293印刷时间： 2006/09/01开本： 32开印次： 1纸张： 胶版纸I S
软件开发的形式化方法作者： 古天龙编 出 版 社： 高等教育出版社 出版时间： 2005-1-1字数：版次： 1页数： 265印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787040160796包
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