par Massart, Thierry Cliquez pour télécharger la liste de publications de l'auteur
Publication Publié, 2008
Enseignement: cours, TP, ...
Titre :
  • INFO-F-412 : Vérification I
Auteur : Massart, Thierry
Editeur : Presses universitaires de Bruxelles, Bruxelles
Statut de publication : Publié, 2008
Sujet CREF : Informatique mathématique
Langue :
  • Français