Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.
Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.
Explique les différences entre les opérateurs d'incrément de préfixe et de suffixe dans la programmation C, en mettant l'accent sur la clarté et les meilleures pratiques en matière de codage.
Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Couvre la définition et les applications des pointeurs dans la programmation C, en mettant l'accent sur leur rôle dans la gestion de la mémoire et la programmation générique.
