Conception et certification de programmes … partir d'une d‚composition par les donn‚es
Livre Ecrit par: Guiho, Gérard ; Bidoit, Michel ; Gresse, Christian ; Publié en: 1980
Edition:
Orsay:
Laboratoire de Recherche en Informatique
Langue:
Français
Note: Rapport de recherche . - Bibliogr.