Перейти до головного вмісту
  • Закрити
    Переключити введення пошуку
  • Українська ‎(uk)‎
    • Русский ‎(ru)‎
    • Українська ‎(uk)‎
    • English ‎(en)‎
  • Вхід

Формальні методи роз ...

Закрити
Переключити введення пошуку
  1. Курси
  2. Факультет радіоелектроніки, комп'ютерних систем та інфокомунікацій
  3. Кафедра комп'ютерних систем, мереж і кібербезпеки
  4. Дисципліни докторів філософії
  5. Формальні методи розроблення i верифiкації програмних систем
  6. Резюме
  • Більше

Формальні методи розроблення i верифiкації програмних систем

  • Teacher: Ілляшенко Олег Олександрович

Університет

  • Нормативні документи
  • Керівництво
  • Міжнародне співробітництво
  • Фотогалерея
  • Контакти

Абітуріентам

  • Профком студентів
  • Aсистент при вступі до ХАІ
  • Спеціальності
  • Правила прийому
  • Доуніверситетська освіта

Освіта

  • Факультети і кафедри
  • Графік освітнього процесу
  • Навчання іноземців
  • Наукова бібліотека
  • Наукові конференції

Наука

  • Спеціалізовані ради
  • Аспірантура і докторантура
  • Наукові видання
  • Науково-дослідна частина
  • Рада молодих учених

МОН

Центр занятости

НКП

Темпус

Завантажте мобільний додаток