程序设计实践

（美）（B.W.克尼汉）Brian W.Kernighan，（美）（R.派克）Rob Pike著；裘宗燕译2000 年出版221 页ISBN：7111075730

美国AddisonWesley出版社授权出版:本书从排错、测试、性能、可移植性、设计、界面、风格和记法等方面，讨论了程序设计中的思想、技术和方法。...

从规范出发的程序设计

（美）Carroll Morgan著；裘宗燕译2002 年出版314 页ISBN：7111108477

本书详细论述了有关规范程序设计的内容，包括程序和精化、谓词演算、选择、构造类型、模块和封装等，还包含了大量的实例研究和一些更高级的程序设计技术。...

程序设计语言基础

（美）Ellis Horowitz著；裘宗燕译1990 年出版439 页ISBN：7301007604

本书介绍了变量、表达式、语句、类型划分、作用域、过程、数据、类型、异常处置和并行性等基本概念及其在不同程序设计语言中的实现；从控制结构，数据结构分析一批典型语言特征及优缺点。...

程序设计实践 双语版

（美）BRIAN W.KERNIGHAN ROB PIKE著；裘宗燕译2007 年出版470 页ISBN：7111211278

本书从排错、测试、性能、可移植性、设计、界面、风格和记法等方面，讨论了程序设计中实际的、又是非常深刻和具有广泛意义的思想，他的翻译出版将填补国内目前这方面书籍的空白。...

编程原本

（美）亚历山大·斯特潘诺夫（Alexander Stepanov），（美）保罗·麦克琼斯（Paul McJones）著；裘宗燕译2019 年出版298 页ISBN：9787115493514

本书提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言（如C++）中实现的算法如何在最一般的数学背景中操作。例如，如何定义...

C++语言的设计和演化

（美）Bjarne Stroustrup著；裘宗燕译2002 年出版370 页ISBN：7111090985

这本书是C++的设计者关于C++语言的最主要著作之一。作者综合性地论述了C++的历史和发展，C++中各种重要机制的本质意义和设计背景，这些机制的基本用途和使用方法，讨论了C++所适合的应用领域及其未来的发展前景...

编程的修炼 中英对照

（荷）戴克斯特拉著；裘宗燕译2013 年出版434 页ISBN：9787121202506

本书是图灵奖获得者Edsger W.Dijkstra在编程领域里的经典着作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程...

B方法

（美）J-R Abrial著；裘宗燕译2004 年出版526 页ISBN：7505393391

本书是有关B方法的最重要的著作，由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件形式化方法之一，人们用它编写软件系统规范，进行系统设计和编程。B方法已被用在一些极其重要的软件项目...

计算机基础教程 上

裘宗燕主编2000 年出版197 页ISBN：7301045948

C++程序设计语言 特别版

（美）贝尔实验室（Bjarne Stroustrup）著；裘宗燕译2002 年出版905 页ISBN：7111102029

《C++程序设计语言》介绍了标准C++以及由C++所支持的关键性编程技术和设计技术。标准C++较以前的版本功能更强大，其中许多新的语言特性，如名字空间、异常、模板、运行时类型声明等使得新技术得以直接应用。这...