Explore la programmation parallèle dans Scala, les opérations fonctionnelles sur les collections, et les fonctions de carte parallèle sur les tableaux et les arbres.
Couvre les principes de la conception de systèmes d'acteurs pour la programmation réactive et explore des exemples pratiques comme le système Link Checker.
Couvre le concept, les types et les applications des composites intelligents, y compris les réservoirs de stockage H2 à détection automatique et les skis actifs.
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.
Explore les compléments des fonctions, l'ordre des paramètres et la manipulation des listes, y compris le comptage des événements et la résolution du « problème des 100 prisonniers ».
