ECTS
6 crédits
Volume horaire
48h
Période de l'année
Semestre 3
Heures d'enseignement
- Programmation fonctionnelle et preuve formelle en COQCours Magistral24h
- Programmation fonctionnelle et preuve formelle en COQTravaux Dirigés24h
Dernière mise à jour le 20 mai 2025
