Mainstream and Formal Epistemology主流与形式认识论
Mainstream and Formal Epistemology主流与形式认识论作者： Vincent F. Hendricks著 出 版 社： 出版时间： 2005-12-1字数：版次：页数： 188印刷时间： 2005/12/01开本： 16开印次：纸张： 胶版纸I S B
实时与容错系统中的形式技术／会议录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
基本信息平装正文语种:英语ISBN:0631221069条形码:9780631221067商品尺寸:23.9 x 15 x 2.3 cm商品重量:426 gASIN:0631221069
软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification作者： Klaus Havelund 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 255印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
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
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
性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation作者： András Horváth 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 237印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
定时系统的形式建模与分析：FORMATS 2006/会议录/Formal modeling and analysis of timed systems作者： Eugene Asarin著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 367印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N