The B method : from research to teaching,
Conference,
Nantes,
France
Cité Internationale des Congrès
June 16, 2008
Blog here :
http://teachingbconference.blogspot.com/
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)
Aucun commentaire:
Enregistrer un commentaire