samedi 21 juin 2008
Retraite ...mais ça continue !
L'auteur de ce bloc-notes part en retraite...mais continuera à alimenter ce bloc-notes.
Inscription à :
Articles (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)