Calculabilité et complexité
Master InformatiqueParcours Science et ingénierie du logiciel (SIL)