Master Informatique (divers) Bordeaux I : Algorithmes et Méthodes Formelles.
BAC +5 Informatique, spécialité Algorithmes et Méthodes Formelles, mention Informatique.
Domaine : Sciences, Technologies et Santé.
Master à finalité professionnelle ou de la recherche délivré par l'Université Bordeaux I.