Master informatique parcours AMF - Université de Bordeaux

Ce module correspond à la spécialité "Algorithme et Méthodes Formelles" du master informatique de l'Université de Bordeaux. La spécialité offre deux parcours aux choix: "Modèles et algorithmes" d'une part, et "Vérification logicielle" d'autre part. Chaque parcours est constitué de cours obligatoires, et de cours choisis par l'étudiant. La description complète de la spécialité est disponible sur cette page: https://herbrete.zzz.bordeaux-inp.fr/amf/index.html