中国油气田开发志·南方（中国石化）油气区油气田卷 22

《中国油气田开发志》总编撰委员会编2011 年出版406 页ISBN：

中国油气田开发志·西南（中国石油）油气区油气田卷 二 13

《中国油气田开发志》总编撰委员会编2011 年出版2222 页ISBN：

中国油气田开发志·华北（中国石化）油气区油气田卷 25

《中国油气田开发志》总编撰委员会编2010 年出版152 页ISBN：

中国油气田开发志·西南（中国石油）油气区油气田卷 三 13

《中国油气田开发志》总编撰委员会编2011 年出版3293 页ISBN：

中国油气田开发志·西南（中国石油）油气区油气田卷 一 13

《中国油气田开发志》总编撰委员会编2011 年出版1132 页ISBN：

中国油气田开发志·西南（中国石化）油气区油气田卷 21

《中国油气田开发志》总编撰委员会编2011 年出版392 页ISBN：

南海开发与安全战略＝SOUTH CHINA SEA DEVLOPMENT AND NATIONAL SECURITY

刘锋著2013 年出版0 页ISBN：

数据库应用开发 Visual Foxpro 6.0

肖诩，吴健鸣主编2006 年出版327 页ISBN：756174711X

本书是VFP 6.0为教学软件，以项目教学和任务驱动为高原则，培养学生的实际操作能力。本书共10个大项目，除最后一个为实习项目外，其他每个项目根据系统分析的理论分解为一个个小项目，每个小项目都有明确的目标和若...

嵌入式可配置实时操作系统eCos软件开发

（美）马萨（Massa，A.J.）著；颜若麟等译2006 年出版336 页ISBN：7810777327

本书对嵌入式可配置实时操作系统eCos体系结构及其组成部分进行详细讲解，包括eCos的实时内核、硬件抽象层、线程及同步机制、设备驱动等。

软件开发的形式化方法

古天龙著2005 年出版265 页ISBN：704016079X

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...