Résumé de 342.251, VO Formal Models, Armin Biere / Martina Seidl, 2021S

JavaScript est désactivé dans votre navigateur.
De nombreuses fonctionnalités de Moodle ne seront pas utilisables ou sembleront brisées.
Veuillez activer JavaScript pour profiter pleinement de l’expérience Moodle.