Skip to main content
Site logo
  • Home
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Finlandssvenska ‎(sv_fi)‎ Français ‎(fr)‎ Suomi ‎(fi)‎ Svenska ‎(sv)‎ Русский ‎(ru)‎
Log in
Home
  1. Home
  2. Courses
  3. Course implementations - TAU
  4. COMP.CS.420-2024-2025 IFS
  5. Summary

Course info

Back to course

COMP.CS.420 Introduction to Formal Specification (Autumn 2024)

  • Teacher
    Tomi Janhunen


You are not logged in. (Log in)
Policies
Dashboard
  • English ‎(en)‎
    • Deutsch ‎(de)‎
    • English ‎(en)‎
    • Español - Internacional ‎(es)‎
    • Finlandssvenska ‎(sv_fi)‎
    • Français ‎(fr)‎
    • Suomi ‎(fi)‎
    • Svenska ‎(sv)‎
    • Русский ‎(ru)‎