王朝网络

分享

 

01.Mainstream and Formal Epistemology主流与形式认识论
作者： Vincent F. Hendricks著出 版 社：出版时间： 2005-12-1字数：版次：页数： 188印刷时间： 2005/12/01开本： 16开印次：纸张： 胶版纸I S B N ： 9780521857895包装： 精装内容简介Mainstream and Formal ...查看完整版>>Mainstream and Formal Epistemology主流与形式认识论02.实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems
作者： Werner Damm 著出 版 社： 湖南文艺出版社出版时间： 2002-12-1字数：版次： 1页数： 452印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540441656包装： 平装编辑推荐The LNCS series re...查看完整版>>实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems03.形式方法和软件工程LNCS-4260: Formal methods and software engineering
作者： Zhiming Liu 著出 版 社： 湖南文艺出版社出版时间： 2006-12-1字数：版次： 1页数： 775印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540474609包装： 平装编辑推荐The LNCS series r...查看完整版>>形式方法和软件工程LNCS-4260: Formal methods and software engineering04.Epistemology: Internalism And Externalism
基本信息平装正文语种:英语ISBN:0631221069条形码:9780631221067商品尺寸:23.9 x 15 x 2.3 cm商品重量:426 gASIN:0631221069...查看完整版>>Epistemology: Internalism And Externalism05.软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification
作者： Klaus Havelund 著出 版 社： 湖南文艺出版社出版时间： 2006-12-1字数：版次： 1页数： 255印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540496991包装： 平装编辑推荐The LNCS serie...查看完整版>>软件测试与运行期验证：正式研究/会议录Formal approaches to software testing and runtime verification06.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 ： 9780387986906包装： 精装内容简介Simple Ordinary Different...查看完整版>>Formal power series and linear systems of meromorphic ordinary differential equations亚纯常微分方程的形式幂级数与线性系统07.Web服务与形式方法/Web services and formal methods
作者： Mario Bravetti著出 版 社： 湖北辞书出版社出版时间： 2006-12-1字数：版次： 1页数： 286印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540388623包装： 平装编辑推荐The LNCS series ...查看完整版>>Web服务与形式方法/Web services and formal methods08.网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems
作者： Elie Najm，Jean-Francois Pradat-Peyre，Véronique Viguié Donzeau-Gouge 著出 版 社： 湖南文艺出版社出版时间： 2006-12-1字数：版次： 1页数： 483印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S...查看完整版>>网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems09.性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation
作者： András Horváth 著出 版 社： 湖北辞书出版社出版时间： 2006-12-1字数：版次： 1页数： 237印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540353621包装： 平装编辑推荐The LNCS ser...查看完整版>>性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation10.定时系统的形式建模与分析：FORMATS 2006/会议录/Formal modeling and analysis of timed systems
作者： Eugene Asarin著出 版 社： 湖南文艺出版社出版时间： 2006-12-1字数：版次： 1页数： 367印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540450269包装： 平装编辑推荐The LNCS series r...查看完整版>>定时系统的形式建模与分析：FORMATS 2006/会议录/Formal modeling and analysis of timed systems

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。