Couvre les concepts et les implémentations de l'asynchronie, y compris le code synchrone et asynchrone, les threads du système d'exploitation et l'écriture de code asynchrone en Java.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Introduit des fonctions en Python, couvrant les fonctions prédéfinies et définies par l'utilisateur, les paramètres formels et efficaces, et l'importance des docstrings.
