Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.
Couvre l'importance et les défis des systèmes d'exploitation, leur omniprésence, leur impact sur les programmes et leur rôle d'illusionnistes et d'arbitres.
Explore les moniteurs comme une construction de synchronisation fournissant l'exclusion mutuelle et la coopération entre les threads, avec des exemples comme le tampon d'un seul endroit.
Explore l'affichage polymorphe en C++, le comportement par défaut, la finalisation de la classe avec une valeur de base immuable, et la classe de produit abstrait.
Couvre les concepts fondamentaux et les défis de l'héritage multiple dans la programmation orientée objet, fournissant des exemples pratiques et des explications.
Couvre les bases de la programmation orientée objet en C++, se concentrant sur la modélisation d'un problème de montre et la mise en œuvre du code correspondant.
