Перейти к основному содержанию
  • Закрыть
    Изменить данные поисковой строки
  • Русский ‎(ru)‎
    • Русский ‎(ru)‎
    • Українська ‎(uk)‎
    • English ‎(en)‎
  • Вход

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

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

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

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

Університет

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

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

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

Освіта

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

Наука

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

МОН

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

НКП

Темпус

Скачать мобильное приложение