第一图书网

全部分类

形式方法和软件工程LNCS-4260

Zhiming Liu 著 湖南文艺出版社
出版时间：2006-12
出版社：湖南文艺出版社
作者：Zhiming Liu 著
页数：775
图书封面

下载链接
    形式方法和软件工程LNCS-4260PDF格式下载

相关图书

软件工程中的求精技术/Refinement techniques in software engineering
软件测试与运行期验证
软件工艺改进
异常处理技术进展Advances in exception handling techniques
软件的质量 Software quality
软件工程中的极限编程与敏捷过程/会议录 LNCS-4044
软件结构的质量 Quality of software architectures
数学方法与软件技术 Algebraic methodology and software technology
软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing
现代软件工程教育
(软件产品系列工程/)Software product-family engineering
软件工程中的生成与转换技术
软件组成
漫画达芬奇
西方音乐史
守望传统:广东国画研究会1923-1937
山水画与西方艺术
我国经济增长的地区性趋同理论及实证分析
出国旅游应急俄语
医学图像计算与计算机辅助介入治疗 – MICCAI 2006/会议录 第I部分
医学图像计算与计算机辅助介入治疗 MICCAI 2002 Medical image computing and computer-assisted intervention-
越南-革新進程中日漸崛起
印度尼西亚
汶莱-和平之邦
柬埔寨.飽經滄桑
中国重要的经济中心应成为北京城市性质的要件
港澳与珠三角西部发展
香港与珠三角西部
电话英语
荣登诺贝尔奖台的巨人-门楚-美洲当代印第安女杰
我与艾森豪威尔的爱情
预防医学
明代人物与史料
明代人物与传说
中国之路向新编
历史之惩罚新编
思光学术论著新编
中国碑帖与书法国际研讨会论文集（中文）
幽默百分百:另类校园篇 (平装)
<<外科学>>试题集
太极梅花螳螂拳体用全书
散打自学日程
近代中国史纲 上册
近代中国史纲 下册
基于智能体的电子商务
一招制敌-徒手格斗大全
三十二势绝命拳
心意门秘籍
先发制人百法
棍术 枪术