Titre :	Interprétation abstraite de programmes numériques pour contrôle des popriétés de précision numérique
Type de document :	theses et memoires
Auteurs :	Mohand Ait Mohammed ; Ait Ameur, Directeur de thèse
Editeur :	Tizi Ouzou : UMMTO.FGEI
Année de publication :	2003
Importance :	77 p.
Présentation :	ill.
Format :	30 cm.
Note générale :	bibliogr.
Langues :	Français
Mots-clés :	Interpretation abstraite  Théorie Kleene  Transformation de programme.
Permalink :	./index.php?lvl=notice_display&id=32129

Interprétation abstraite de programmes numériques pour contrôle des popriétés de précision numérique [theses et memoires] / Mohand Ait Mohammed ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2003 . - 77 p. : ill. ; 30 cm.
bibliogr.
Langues : Français

Mots-clés :	Interpretation abstraite  Théorie Kleene  Transformation de programme.
Permalink :	./index.php?lvl=notice_display&id=32129