Passer au contenu principal
Panneau latéral
Accueil
Plus
Français (fr)
Deutsch (de)
English (en)
Español - Internacional (es)
Finlandssvenska (sv_fi)
Français (fr)
Suomi (fi)
Svenska (sv)
Русский (ru)
Connexion
Accueil
Accueil
Cours
Course implementations - TAU
COMP.CS.420-2024-2025 IFS
Résumé
Informations du cours
Back to course
COMP.CS.420 Introduction to Formal Specification (Autumn 2024)
Teacher
Tomi Janhunen