Unité d'enseignement - Raisonner à l’aide des formalismes de l’informatique - SINBU42 - Master Informatique - 5SIN - Sciences et Technologies - Faculté des Sciences - Offre de formation d’Aix-Marseille Université 2024-2025