赖晓晨等编著2009 年出版341 页ISBN：9787302202530
本书共7章：第1章介绍一些背景知识；第2章介绍一些前导知识；第3章介绍C语言在嵌入式系统中的应用；第4章介绍GNU开发工具链；第5章介绍基于ARM7处理器的uCLinux系统的建立和程序设计步骤；第6章介绍基于ARM9处理器的AR...
1999-2001年度系统设计师（高级程序员）级试题分析与解答
信息产业部计算机软件专业技术资格和水平考试办公室组编2002 年出版127 页ISBN：7302054002
程序员突击 Visual Basic.NET 2008原理与系统开发
吴名星编著2009 年出版527 页ISBN：9787302183525
本书系统地介绍了如何在Visual Basic.NET 2008开发环境下开发.NET Windows应用程序，特别是数据库应用程序的开发方法。
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
