Conception et certification de programmes à partir d'une décomposition par les données
Livre Ecrit par: Bidoit, Michel ; Guiho, Gérard ; Gresse, Christian ; Publié en: 1980
Edition:
Orsay:
Laboratoire de Recherche en Informatique
Langue:
Français
Collation:
34 p.
;25 cm
Index décimal
621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème
Informatique
Mots clés:
Logiciels
:Développement
