en ligne,
voir ici
Inscription à :
Publier les commentaires (Atom)
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
2 commentaires:
Le lien n'est pas bon.
Il y a un http:// qui s'est collé à la fin.
Oh !
Etonnant car quand j'ai fait la vérif, ça marchait.
Je corrige
Enregistrer un commentaire