Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=134227484.

Conception d'un langage dédié à l'analyse et la transformation de programmes / Emilie Balland ; sous la direction de Claude Kirchner et de Pierre-Etienne Moreau

Date :

Editeur / Publisher : , 2009

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Langages de programmation -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Réécriture, Systèmes de (informatique) -- Thèses et écrits académiques

Classification Dewey : 004

Kirchner, Claude (Directeur de thèse / thesis advisor)

Moreau, Pierre-Etienne (19..-....) (Directeur de thèse / thesis advisor)

Université de Nancy I (Organisme de soutenance / degree-grantor)