Département d informatique École normale supérieure rue d Ulm Paris cedex Patrick fr

Département d'informatique École normale supérieure rue d'Ulm Paris cedex Patrick fr

10

pages

Français

Documents

Écrit par
Patrick Cousot

Publié par
pefav

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe et accède à tout notre catalogue !

Découvre YouScribe et accède à tout notre catalogue !

10

pages

Français

Documents

Lire un extrait

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Langue

Français

mémoire+ + Interprétation abstraite Patrick Cousot Département d'informatique, École normale supérieure, 45 rue d'Ulm, 75230 Paris cedex 05 , RÉSUMÉ. L'interprétation abstraite est une théorie de l'approximation discrète de sémantiques de systèmes inforbase de la théorie de l'interprétation abstraite vérification sémantique approximation modèle de calcul production de logiciels fiables logiciel

Publié par

Langue

Français

Mémoire Vérification Sémantique Approximation Logiciel