Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions

  • Menayame Wenzi

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Date de réussite1977
langueFrançais
Institution diplomante
  • Université de Namur
SuperviseurBaudouin Lecharlier (Promoteur)

Citer ceci

Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions
Wenzi, M. (Auteur). 1977

Thèse de l'étudiant: Master typesMaster en sciences informatiques