Domaine : Informatique-Maths applis
Etablissement principal: Univ. EVRY
Etablissements cohabilités :
Programme :
Mise à niveau : Architecture des réseaux, calculabilité et complexité./ Tronc Commun : Bases des systèmes répartis et systèmes multiprocesseurs - Sémantiques pour la vérification de systèmes répartis - Architecture des services ajoutés à un réseau - Spécification de langages et conception d'environnements - Fondements et contraintes des nouvelles architectures - Définition et implantation des méthodes de traduction.
Option Systèmes répartis et réseaux / Option Spécification des logiciels et des architectures
Mots-clés:
Responsable de la formation: M. Bernard LOHRO
Adresse:
4 Bd des Coquibus
91025 EVRY cedex
Tél : 69 47 70 73 - Fax : 69 47 70 08
E-mail : konig@lami.univ-evry.fr
Numéro du DEA : 290