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.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Explore les concepts de programmation orientée objet en C++ en se concentrant sur les constructeurs, les destructeurs, les listes d'initialisation et la conception des constructeurs en coordonnées cartésiennes et polaires.
Couvre les concepts de base de la programmation orientée objet en Java, mettant l'accent sur l'encapsulation, l'abstraction et l'importance d'organiser des programmes complexes.
Introduit les concepts fondamentaux de programmation orientée objet en C++ et met l'accent sur la communication, les messages de forum, les enregistrements de projets et les installations.
