《C++程序设计语言特别版》是Bjarne Stroustrup所著，裘宗燕翻译的一本关于C++编程的经典著作。这本书详细介绍了C++语言的各个方面，是学习和掌握C++的重要参考资料。 C++是一种静态类型、编译式、通用的、大小写敏感、不仅支持过程化编程，也支持面向对象编程的程序设计语言。它起源于C语言，增加了类、模板、异常处理等特性，使得程序员可以进行更高效、更灵活的代码编写。 在本书中，Stroustrup博士深入浅出地讲解了C++的基础语法，包括变量、运算符、控制流（如if语句、循环）、函数、数组和指针等基本概念。他不仅介绍了如何使用这些元素来构造复杂的程序结构，还强调了良好的编程习惯和设计原则，例如封装、继承和多态，这些都是面向对象编程的核心概念。 书中对类的设计和使用进行了详细探讨，这是C++中实现面向对象编程的关键。类允许程序员创建自定义的数据类型，通过封装数据和操作数据的方法，使得代码更加模块化和可维护。同时，书中也介绍了如何通过继承和多态性来构建复杂的类层次结构，以便更好地复用代码和适应需求的变化。 模板是C++中的一大特色，它允许程序员创建泛型代码，这样就可以在各种数据类型上使用同一段代码，无需重复编写。Stroustrup在书中详细解释了模板的使用，包括函数模板和类模板，以及模板特化和模板元编程等高级话题。 异常处理是C++中用于错误处理的重要机制，它鼓励程序员将正常流程和异常处理分开，使得程序更加健壮。书中详细阐述了如何使用try、catch和throw关键字来有效地捕获和处理运行时错误。 此外，Stroustrup还讨论了标准库，这是C++编程不可或缺的一部分，包括容器（如vector、list、map等）、迭代器、算法和输入/输出流等。通过使用标准库，程序员可以高效地处理数据和执行常见任务。 书中还涉及了C++的现代特性，如智能指针、Lambda表达式、右值引用和自动类型推断等，这些都是C++11及后续版本引入的，极大地提升了语言的效率和易用性。 《C++程序设计语言特别版》是一本全面且深入的C++教程，适合初学者和有经验的程序员。通过阅读这本书，读者不仅能掌握C++的基本语法，还能了解到如何利用C++的强大功能进行高效、安全的编程。

《C++程序设计语言》介绍了标准C++以及由C++所支持的关键性编程技术和设计技术。标准C++较以前的版本功能更强大，其中许多新的语言特性，如名字空间、异常、模板、运行时类型声明等使得新技术得以直接应用。这本书围绕语言及库功能来组织，内容涉及C++的主要特征及标准库，并通过系统软件领域中的实例解释说明一些关键性的概念与技术。此特别版增加了关于现场和标准库的异常时安全性两个附录，这就使书的内容完全地和权威性地覆盖了整个C++语言，其标准库，以及关键性的设计技术。

B方法 J-RAbrial著 裘宗燕译，这个不用在说了，png格式的，很清晰。

裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf