组件和对象用形式方法/Formal methods for components and objects

组件和对象用形式方法/Formal methods for components and objects

作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I

性能评价用形式方法与随机模型：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 open object-based distributed systems

作者： Roberto Gorrieri，Heike Wehrheim 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 266印刷时间： 2006/12/01

形式方法和软件工程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

网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems

作者： Elie Najm，Jean-Francois Pradat-Peyre，Véronique Viguié Donzeau-Gouge 著 出 版 社： 湖南文艺出版社 出版时间： 2006

金融市场中的统计模型和方法(应用统计学丛书)(Statistical Models and Methods for Financial Markets)

基本信息·出版社：高等教育出版社 ·页码：323 页 ·出版日期：2009年11月 ·ISBN：9787040182934 ·条形码：9787040182934 ·版本：第1版 ·装帧：平装 ·开本

High-Performance Oracle: Proven Methods for Achieving Optimum Performance and Availability (平装)

基本信息出版社:JOHN WILEY & SONS INC (2002年9月17日)平装:656页ISBN:0471224367条形码:9780471224365产品尺寸及重量:23.7 x 19 x

教育研究方法:定性研究的视角(第4版)(教育学经典译丛)(Qualitative Research for Education:An Introduction to Theories and Methods)

基本信息·出版社：中国人民大学出版社 ·页码：274 页 ·出版日期：2008年 ·ISBN：7300087876/9787300087870 ·条形码：9787300087870 ·包装版本：1版