TY - THES DP - http://www.theses.fr/1996INPG0022 TI - Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes AU - Oriat, Catherine A3 - Bert, Didier PY - 1996 SP - 1 vol. (222 p.) N1 - Thèse de doctorat Informatique Grenoble INPG 1996 N1 - 1996INPG0022 ER -