Première utilisation de Spin
Un TP sur le dîner des philosophes.
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Link
Hide
Show
Hide All
Show All
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
TP
Tutorials
Superrigardataj laboroj
Let’s Play With Spin
A tutorial about dinning philosophers.
Unua uzo de Spin
Superrigardata laboro pri manĝantaj filosofiistoj
Prouver des programmes à l’aide de Coq
Un premier cas d’utilisation de Coq pour des programmes très simples.
Let’s Play With Coq
A first usage of Coq on very simple programs.
Pruvi programaĵojn per Coq
Unua uzo de Coq en simplegaj programaĵoj.
Autres
Miscellanous
Aliaĵoj
Pictionnary
Les étudiants doivent faire deviner des phrases à l’aide de diagrammes UML (diagrammes de cas d’utilisations, diagrammes de classes, ou diagrammes de séquence).
Pictionnary
Students have to draw and guess sentences using only ULM diagrams (behaviour diagrams, structure diagrams, or interaction diagrams).
Pictionnary
Studentoj devas desegne divenigi frazojn per UML-diagramoj (uzdiagramoj, klasdiagramoj, aŭ interagdiagramoj).