真情 Formal Feeling
真情 Formal Feeling作者： Zibby Oneal 著 出 版 社： Oversea Publishing House 出版时间： 1985-1-1字数：版次： 1页数： 126印刷时间： 1985/01/01开本：
Introduction to Formal Specification and Z (平装)基本信息出版社:Prentice Hall (1996年6月21日)平装:448页正文语种:英语ISBN:0132422077条形码:9780132422079产品尺寸及重量:23.4 x 17.5
形式方法－获得完美信息技术 /Formal Methods--Getting IT Right作者： Lars-Henrik Eriksson著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 625印刷时间： 2002/12/01开本：印次：纸张： 胶版纸
Leading Outside the Lines: How to Mobilize the (In)Formal Organization, Energize Your Team, and Get Better Results (精装)基本信息出版社:JOSSEY BASS (2010年4月19日)精装:240页ISBN:0470589027条形码:9780470589021产品尺寸及重量:23.1 x 16.2 x 2.5 cm
Mainstream and Formal Epistemology主流与形式认识论作者： Vincent F. Hendricks著 出 版 社： 出版时间： 2005-12-1字数：版次：页数： 188印刷时间： 2005/12/01开本： 16开印次：纸张： 胶版纸I S B
Formal power series and linear systems of meromorphic ordinary differential equations亚纯常微分方程的形式幂级数与线性系统作者： Werner Balser著 出 版 社： 出版时间： 1999-10-1字数：版次： 1页数： 299印刷时间： 1999/10/01开本： 16开印次： 1纸张： 胶版纸I S B N
形式方法应用的杠杆作用： 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
网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems作者： Elie Najm，Jean-Francois Pradat-Peyre，Véronique Viguié Donzeau-Gouge 著 出 版 社： 湖南文艺出版社 出版时间： 2006
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems作者： Roberto Gorrieri，Heike Wehrheim 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 266印刷时间： 2006/12/01