Liens transverses ENS de Lyon

INFO4212 : Sémantique et vérification

Semantics and verification

Niveau M1+M2

Discipline(s) Informatique

ECTS 3.00

Période 2e semestre

Localisation Site Monod

Année 2021-2022

 Public externe (ouverts aux auditeurs de cours)