5 UE au choix

Liste des enseignements

• Au choix : 5 parmi 9

  • Architectures des systemes de bases de données

    3 crédits

  • Méthodes formelles de vérification

    3 crédits

  • Modélisation et spécification

    3 crédits

  • Programmation synchrone

    3 crédits

  • Architecture des systèmes d'information

    3 crédits

  • Interfaces et outils de MacOS-X

    3 crédits

  • Programmation logique et par contraintes avancée

    3 crédits

  • Programmation répartie

    3 crédits

  • Typage et analyse statique

    3 crédits