1 résultat(s) recherche sur le tag 'methodes formelles'

Conception Formelle d'Algorithmes de Réplication Optimiste. Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair / Abdessamad IMINE

Public ISBD Titre : Conception Formelle d'Algorithmes de Réplication Optimiste. Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair Type de document : texte imprimé Auteurs : Abdessamad IMINE, Auteur Langues : Français (fre) Tags : METHODES FORMELLES  CONVERGENCE DES DONNEES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : RUSINOWITCH M. Président du jury : JULLIAND J. Rapporteur(s) : FERRIE J.;MONIN J.F. Examinateur(s) : MERY D.;MOLLI P. Conception Formelle d'Algorithmes de Réplication Optimiste. Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair [texte imprimé] / Abdessamad IMINE, Auteur . - [s.d.]. Langues : Français (fre) Tags : METHODES FORMELLES  CONVERGENCE DES DONNEES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : RUSINOWITCH M. Président du jury : JULLIAND J. Rapporteur(s) : FERRIE J.;MONIN J.F. Examinateur(s) : MERY D.;MOLLI P.

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-06 / 13265	Papier	THESES	INFORMATIQUE		Disponible