Перейти к основному содержанию
Site logo
  • В начало
  • Дополнительно
Русский ‎(ru)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Finlandssvenska ‎(sv_fi)‎ Français ‎(fr)‎ Suomi ‎(fi)‎ Svenska ‎(sv)‎ Русский ‎(ru)‎
Вход
В начало
  1. В начало
  2. Курсы
  3. Course implementations - TAU
  4. COMP.CS.420-2024-2025 IFS
  5. Описание

Информация о курсе

Back to course

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

  • Teacher
    Tomi Janhunen


Вы не вошли в систему (Вход)
Политики
Личный кабинет
  • Русский ‎(ru)‎
    • Deutsch ‎(de)‎
    • English ‎(en)‎
    • Español - Internacional ‎(es)‎
    • Finlandssvenska ‎(sv_fi)‎
    • Français ‎(fr)‎
    • Suomi ‎(fi)‎
    • Svenska ‎(sv)‎
    • Русский ‎(ru)‎