Skip to main content
  • Close
    Toggle search input
  • English ‎(en)‎
    • Русский ‎(ru)‎
    • Українська ‎(uk)‎
    • English ‎(en)‎
  • Log in

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

Close
Toggle search input
  1. Courses
  2. Факультет радіоелектроніки, комп'ютерних систем та інфокомунікацій
  3. Кафедра комп'ютерних систем, мереж і кібербезпеки
  4. Дисципліни докторів філософії
  5. Формальні методи розробки та верифікації
  6. Summary
  • More

Формальні методи розробки та верифікації

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

Університет

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

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

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

Освіта

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

Наука

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

МОН

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

НКП

Темпус

Get the mobile app