软

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

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

序号	相关图书	著者	出版年
1	Java并发编程实战	(美) Brian goetz ... [等] 著	2012
2	精通STM32F4 . [1], 库函数版	张洋, 刘军, 严汉宇, 左忠凯编著	2015
3	形式语言与自动机	陈文宇, 欧齐, 程炼编著	2005
4	城市轨道交通信号专业英语	主编陈兴杰	2014
5	软件工程	肖汉主编	2009
6	CAD二次开发理论与技术	董玉德, 赵韩主编	2009
7	软件测试技术	曲朝阳... [等] 编著	2015
8	MATLAB/Simulink建模与仿真实例精讲	张德丰等编著	2010
9	软件工程专业英语	本书主编周霜	2012
10	AutoCAD ObjectARX (VC) 开发基础与实例	张帆, 朱文俊编著	2014
11	旋转木马鏖战记	村上春树著	2009
12	Petri网应用	袁崇义著	2013
13	精通Objective-C	(美) Keith Lee著	2015
14	协同进化遗传算法理论及应用	巩敦卫, 孙晓燕著	2009
15	软件体系结构与设计	周苏 ... [等] 编著	2013
16	MATLAB控制系统仿真与设计	主编赵景波	2010
17	STM32F10X系列ARM微控制器入门与提高	沈建良 ... [等] 编著	2013
18	Java程序员职场全攻略 : 从小工到专家	吴亚峰著	2010
19	软件工程形式化方法与语言	李莹, 吴江琴编著	2010
20	ARM MCU开发工具MDK使用入门	李宁编著	2012