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

Формальний аналіз ПЗ ...

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

Формальний аналіз ПЗ систем

  • Викладач: Шостак Ігор Володимирович

Університет

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

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

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

Освіта

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

Наука

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

МОН

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

НКП

Темпус

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