肖诩，吴健鸣主编2006 年出版327 页ISBN：756174711X
本书是VFP 6.0为教学软件，以项目教学和任务驱动为高原则，培养学生的实际操作能力。本书共10个大项目，除最后一个为实习项目外，其他每个项目根据系统分析的理论分解为一个个小项目，每个小项目都有明确的目标和若...
（美）马萨（Massa，A.J.）著；颜若麟等译2006 年出版336 页ISBN：7810777327
本书对嵌入式可配置实时操作系统eCos体系结构及其组成部分进行详细讲解，包括eCos的实时内核、硬件抽象层、线程及同步机制、设备驱动等。
古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
