Gå direkt till huvudinnehåll
Site logo
  • Startsida
  • Mer
Svenska ‎(sv)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Finlandssvenska ‎(sv_fi)‎ Français ‎(fr)‎ Suomi ‎(fi)‎ Svenska ‎(sv)‎ Русский ‎(ru)‎
Logga in
Startsida
  1. Startsida
  2. Kurser
  3. Course implementations - TAU
  4. COMP.CS.420-2024-2025 IFS
  5. Sammanfattning

Kursinformation

Tillbaka till kursen

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

  • Lärare
    Tomi Janhunen


Du är inte inloggad (Logga in)
Policys
Översikt
  • Svenska ‎(sv)‎
    • Deutsch ‎(de)‎
    • English ‎(en)‎
    • Español - Internacional ‎(es)‎
    • Finlandssvenska ‎(sv_fi)‎
    • Français ‎(fr)‎
    • Suomi ‎(fi)‎
    • Svenska ‎(sv)‎
    • Русский ‎(ru)‎