VERIFICATION DES PROGRAMMES NORMAUX

LA VERIFICATION DES PROGRAMMES A POUR OBJECTIF DE GARANTIR LA CONFORMITE DES PROGRAMMES AVEC LEUR SPECIFICATION. CETTE ACTIVITE PREND DES FORMES VARIEES SELON LE LANGAGE DE PROGRAMMATION UTILISE, LA NATURE DE LA SPECIFICATION, ET CE QUE L'ON ENTEND PAR CONFORMITE. CETTE THESE EST CONSACREE A L&...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor principal: Renault, Sophie, 19..-...., docteur en informatique
Altres autors: Ferrand, G. (Directeur de thèse)
Format: Thèse et Mémoire papier
Idioma:Français
Publicat: [S.l.] : [s.n.] 1996.
Matèries:
Nota: 1996ORLE2018
Autres localisations: Voir dans le Sudoc
Variante du titre:VERIFICATION OF NORMAL PROGRAMS

Orléans - BU Sciences Technologies STAPS

Detall dels fons de Orléans - BU Sciences Technologies STAPS
  Localització Signatura Type de prêt Estat
Magasin TS 19-1996-18b Exclu du prêt A consulter sur place
Magasin TS 19-1996-18 Empruntable Disponible