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é.
Explore la visualisation de la Quatrième Dimension à travers des points, des lignes, des cercles, des sphères et des poinçonnages, couvrant les propriétés spatiales vectorielles, la dimensionnalité, les bases et les théorèmes.
Couvre les bases de la programmation scientifique pour les ingénieurs, en soulignant l'importance de GIT pour le travail collaboratif et en fournissant un aperçu des défis du développement de logiciels scientifiques.