Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Nora Boulahia

est l'auteur d'une thèse

Algèbres de Charmes Architecture des ordinateurs Eiffel Inversion Langages de programmation -- Sémantique Langages à objets Programmation orientée objets Spécification Sémantique dénotationnelle Tad VDM, Méthode

Fullscreen

Algèbres de Charmes Architecture des ordinateurs Eiffel Inversion Langages de programmation -- Sémantique Langages à objets Programmation orientée objets Spécification Sémantique dénotationnelle Tad VDM, Méthode

Nora Boulahia a rédigé la thèse suivante :

Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation

par Nora Boulahia sous la direction de Jean-Louis Durieux - Toulouse, ENSAE

Informatique

Soutenue en 1990

Thèse soutenue