Passer au contenu principal
Graph
Search
fr
|
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Séance de cours
Comment les classes sont organisées
Graph Chatbot
Séances de cours associées (32)
Précédent
Page 4 sur 4
Suivant
Interfaces Java : Types et interfaces énumérés
Explore le principe du codage vers une interface, les types de Java énumérés, et les avantages de l'utilisation d'interfaces pour l'encapsulation.
Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique
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.