Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)

Enregistré dans:
書目詳細資料
主要作者: Boukakiou, Mekki
其他作者: Créhange, Marion (Directeur de thèse)
格式: Thèse et Mémoire papier
語言:Français
出版: [S.l.] : [s.n.] 1984.
主題:
提示: Parfois 97 f.
Publication autorisée par le jury
Autres localisations: Voir dans le Sudoc
Variante du titre:Spécification à l'aide de types abstraits algébriques du système EXPRIM
LEADER 01192nam a22002537a 4500
001 358943
008 090513s1984 xxe ||| |||| 00| 0 fre d
009 PPN133446697
041 0 |a fre  |b fre 
084 |a 004 
100 1 |a Boukakiou, Mekki. 
240 1 0 |a Spécification à l'aide de types abstraits algébriques du système EXPRIM 
245 1 0 |a Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)   |c par Mekki Boukakiou ; [sous la direction de Marion Créhange]. 
260 |a [S.l.] :  |b [s.n.],  |c 1984. 
300 |a 1 vol. (f. [A]-C et 96 f.-[14] f. de pl.) ;  |c 30 cm. 
500 |a Parfois 97 f. 
500 |a Publication autorisée par le jury 
502 |a Thèse de 3e cycle. Informatique. Vandoeuvre-les-Nancy, INPL. 1984 
504 |a Bibliogr. p. 89-96 
650 |a Types abstraits de données (informatique) 
650 |a Thèses et écrits académiques 
700 1 |a Créhange, Marion.  |4 ths 
710 2 |a Institut national polytechnique de Lorraine.  |4 dgg 
997 |0 358943  |1 Thèse et Mémoire papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, TS 13-1984-5