• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Interprétation abstraite: application à la vérification et à l'analyse statique 

  • ECTS

    6 crédits