Partager Facebook Twitter Linkedin Copier le lien Séminaire Verification of functional data structures: Correctness and complexity Structures de données persistantes
23 Mar 2023 11:15 - 12:15 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles Intervenant(s) Tobias Nipkow Ajouter à mon agenda iCalendar (.ics) Google Calendar Microsoft Outlook Office 365 Yahoo! Calendar Cycle associé Structures de données persistantes Associé à Xavier Leroy, chaire Sciences du logiciel Événement suivant Séminaire 30 Mar 2023 11:15 - 12:15 Séminaire Jean-Christophe Filliatre Structures de données semi-persistantes Structures de données persistantes
Séminaire 30 Mar 2023 11:15 - 12:15 Séminaire Jean-Christophe Filliatre Structures de données semi-persistantes Structures de données persistantes