Couvre l'algorithme Branch et Bound, en se concentrant sur la description formelle et les étapes de mise en œuvre pour trouver des solutions complètes optimales.
Explore la diffusion fiable dans des systèmes distribués, présentant des spécifications, des algorithmes et des propriétés pour différents types de diffusion.
Explore les fonctions, les méthodes, la réutilisabilité et la modularisation dans la programmation, couvrant la décomposition, les structures de contrôle, la récursion et les ellipses pour les arguments variables.