- Claude Delannoy, Programmer en C++, Eyrolles 2004.
- Bruce Eckel, Thinking in C++, 2nd edition (Prentice Hall), volumes 1 (2000) & 2 (2003).
- Bjarne Stroustrup, The C++ Programming Language, 3rd edition, Addison-Wesley 1997.
- Michael L. Scott: Programming Language Pragmatics, Morgan Kaufmann 2000
- Allen Tucker et Robert Noonan: Programming Languages: Principles and Paradigms, McGraw-Hill 2002
- Apprendre les bases du C++ tout seul? -> http://www.cplusplus.com/doc/tutorial/
- Exemple sur les tables virtuelles
- Cours de C++ en ligne
- Pour vous entrainer à la Sémantique axiomatique, essayez de prouver les programmes de tri simples (tri par insertion, ..., -> voir cours de Prof. P.-A. deMarneffe.
- Pour vous entrainer à la Sémantique opérationelle, tentez de formaliser quelques fonctions du C standard (sprintf,...) ou encore si vous vous sentez à l'aise... les exceptions (try... catch).