cam a22 4500 257120661 CHVBK 20191211035101.0 090612s2005 fr ||||| m||| 00 |fre d (RERO)R005110685 RERO geucui s1in rero Bouaten Mohammed Chérif (RERO)A016514400 cre Etude d'un langage impératif d'ordre supérieur sans alias dédié à la preuve des programmes présenté par Mohammed Chérif Bouaten [Grenoble] Université J. Fourier, UFR Informatique et Mathématiques Appliquées 2005 63 p. ill. txt rdacontent n rdamedia nc rdacarrier La couv. porte: Master préparé au sein du laboratoire LSR, IMAG Mémoire de maîtrise univ. (master 2) en systèmes d'information, option Technologies des systèmes d'information effectué à l'Université Joseph Fourier de Grenoble, 2005 Bibliogr.: p. 61-63 Directeur: Sylvain Boulmé RERO 100 1- Bouaten Mohammed Chérif (RERO)A016514400 cre BK020300 XK020000 XK020000 RERO RE61083 RE61083 RE610830001 CUITD 329