Séminaire - Jean-Christophe Filliatre : Structures de données semi-persistantes

Sciences du logiciel - Xavier Leroy · 30/03/2023 10:56 · 50 min

Informatique

Contenu de l'épisode

Xavier Leroy

Collège de France

Science du logiciel

Année 2022-2023

Structures de données persistantes

Séminaire - Jean-Christophe Filliatre : Structures de données semi-persistantes