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&...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Thèse et Mémoire papier |
| Язык: | Français |
| Опубликовано: |
[S.l.] :
[s.n.]
1996.
|
| Предметы: | |
| Примечание: |
1996ORLE2018 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | VERIFICATION OF NORMAL PROGRAMS |