Couvre les fondamentaux de la programmation orientée objet en C++, y compris l'encapsulation, l'héritage et le polymorphisme, avec des exemples en différentes langues OOP.
Couvre les principes de programmation modulaire, en se concentrant sur la gestion de la complexité du projet grâce à la structuration efficace du code et à la gestion des dépendances.
Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.
Couvre les concepts de base de la programmation orientée objet en Java, mettant l'accent sur l'encapsulation, l'abstraction et l'importance d'organiser des programmes complexes.
