Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.
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.
Explore les concepts de programmation orientée objet en C++ en se concentrant sur les constructeurs, les destructeurs, les listes d'initialisation et la conception des constructeurs en coordonnées cartésiennes et polaires.
