（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
杨远，赵先，谭浩等编著2009 年出版252 页ISBN：9787564018009
本书介绍了C语言的基本概念、语义和语法精心设计和挑选了大量具有代表性的例题，详细阐述从问题实际出发，选择合理的数据结构、构造算法等。...
张书云主编2008 年出版244 页ISBN：9787113087708
本书体系合理、逻辑性强、文字流畅、通俗易懂。注重培养读者分析问题和程序设计的能力，注重培养良好的程序设计风格和习惯。
魏丽主编2009 年出版286 页ISBN：9787300101804
本书介绍Visual Foxpro开发环境和语言基础。
