软件开发的形式化工程方法 : | 中图分类号查询 | 中国图书馆分类法 | 中图法

软

题名:软件开发的形式化工程方法 :
作者:Liu, Shaoying
出版年:2008
ISBN: 9787302183174
分类号: TP311.5
中图分类: 软件工程

软件开发的形式化工程方法 : — Liu, Shaoying

序号	相关图书	著者	出版年
1	Altium Designer 10从入门到精通	高海宾, 辛文, 胡仁喜等编著	2012
2	形式语言与自动机及程序设计	陆玲, 周书民著	2014
3	C++类和数据结构	(美)Jeffrey S. Childs著	2009
4	ARM Cortex-M4嵌入式实战开发精解 : 基于S	廖义奎编著	2013
5	并行算法的设计与分析	陈国良编著	2009
6	精通STM32F4 . [2], 寄存器版	刘军 ... [等] 编著	2015
7	Java并发编程实战	(美) Brian goetz ... [等] 著	2012
8	精通STM32F4 . [1], 库函数版	张洋, 刘军, 严汉宇, 左忠凯编著	2015
9	形式语言与自动机	陈文宇, 欧齐, 程炼编著	2005
10	城市轨道交通信号专业英语	主编陈兴杰	2014
11	软件工程	肖汉主编	2009
12	CAD二次开发理论与技术	董玉德, 赵韩主编	2009
13	软件测试技术	曲朝阳... [等] 编著	2015
14	MATLAB/Simulink建模与仿真实例精讲	张德丰等编著	2010
15	软件工程专业英语	本书主编周霜	2012
16	AutoCAD ObjectARX (VC) 开发基础与实例	张帆, 朱文俊编著	2014
17	旋转木马鏖战记	村上春树著	2009
18	Petri网应用	袁崇义著	2013
19	精通Objective-C	(美) Keith Lee著	2015
20	协同进化遗传算法理论及应用	巩敦卫, 孙晓燕著	2009