Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.
Couvre la gestion des erreurs, les exceptions et les techniques de débogage en C++, soulignant l'importance de rendre le code plus robuste et plus facile à déboger.
Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.
Introduit des bases de programmation et des structures de contrôle, mettant l'accent sur la pratique pratique pratique pour la préparation des examens et le travail de projet.
Couvre les bases de la programmation parallèle, y compris la concurrence, les formes de parallélisme, la synchronisation et les modèles de programmation tels que PThreads et OpenMP.