Conception et certification de programmes … partir d'une d‚composition par les donn‚es
كتاب من تأليف: Guiho, Gérard ; Bidoit, Michel ; Gresse, Christian ; نشر في: 1980
طبعة:
Orsay:
Laboratoire de Recherche en Informatique
لغة:
فرنسية
ملاحظة: Rapport de recherche . - Bibliogr.