Web服务与形式方法/Web services and formal methods
Web服务与形式方法/Web services and formal methods作者： Mario Bravetti著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 286印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
形式方法和软件工程LNCS-4260: Formal methods and software engineering作者： Zhiming Liu 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 775印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
(综合形式方法/会议录)Integrated formal methods作者： Michael Butler等著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 399印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B
性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation作者： András Horváth 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 237印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
组件和对象用形式方法/Formal methods for components and objects作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
形式方法－获得完美信息技术 /Formal Methods--Getting IT Right作者： Lars-Henrik Eriksson著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 625印刷时间： 2002/12/01开本：印次：纸张： 胶版纸
形式方法应用的杠杆作用： ISoLA 2004/会议论文集 Leveraging applications of formal methods作者： Tiziana Maragria，Bernhard Steffen 著 出 版 社： 湖南文艺出版社 出版时间： 2004-12-1字数：版次： 1页数： 196印刷时间： 2006/12/
Java Web服务构建与运行(Java Web Services: Up and Running)基本信息·出版社：电子工业出版社 ·页码：297 页 ·出版日期：2009年11月 ·ISBN：9787121097119 ·条形码：9787121097119 ·版本：第1版 ·装帧：平装 ·开本
语义网:XML、WEB服务和知识管理的未来(A guide to hte future of xml,web services,and knowledge management)基本信息·出版社：中国科学技术出版社 ·页码：171 页 ·出版日期：2009年 ·ISBN：7504653756/9787504653758 ·条形码：9787504653758 ·包装版本：1版
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems作者： Roberto Gorrieri，Heike Wehrheim 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 266印刷时间： 2006/12/01