Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.
SuSLik, un synthétiseur de programmes générant des programmes de bas niveau sûrs à partir de spécifications logiques, présente ses capacités à gérer les structures de données liées.
Introduit des structures de données comme des tuples, des listes, des ensembles et des dictons dans Python, couvrant leur définition, manipulation et itération.
Étudier la mesure et l'opérationnalisation des résultats dans la gestion de la fièvre chez les enfants de moins de cinq ans au moyen d'exemples et d'approches de collecte de données.
Couvre la représentation structurée des données, les tableaux, les structures, la déclaration variable, l'initialisation et les fonctions avec de multiples valeurs de retour.
Explore la cohérence éventuelle, les acteurs de Scala, et l'importance de structures de données appropriées pour atteindre la cohérence dans les systèmes distribués.
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.
Couvre les structures de données abstraites et la bibliothèque standard C++, y compris les listes liées, les piles, les files d'attente et les nombres complexes.