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
Cours
CS-452: Foundations of software
Graph Chatbot
Séances de ce cours (23)
Featherweight Java: Core OO Fonctionnalités Modélisation
Introduit Featherweight Java, un modèle minimaliste pour représenter les principales fonctionnalités orientées objet.
Fondements de Scala: Modélisation et Systèmes de Type
Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.
Atelier Coq: Introduction au théorème interactif
Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.
Précédent
Page 2 sur 2
Suivant
