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
Introduction au traitement du langage informatique
Graph Chatbot
Séances de cours associées (32)
Précédent
Page 4 sur 4
Suivant
Résolution des contraintes de type
Explique le processus de résolution des contraintes de type en utilisant l'algorithme d'unification et la généralisation de l'inférence de type flexible.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
