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

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

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

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

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

Університет

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

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

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

Освіта

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

Наука

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

МОН

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

НКП

Темпус

Get the mobile app