prog:atelierb
Ceci est une ancienne révision du document !
MOOC, Archive Partie 1 Partie 2
De nombreux exemples existent dans les exemples de ProB.
- ProB
Il permet de jouer les machines implémentées depuis Atelier B.
Téléchargement Archive v1.15.0 Code source Exemples
Nécessite tcl/tk x64.
prog/atelierb.1758099295.txt.gz · Dernière modification : de root