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

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

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

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

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

    Університет

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

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

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

    Освіта

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

    Наука

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

    МОН

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

    НКП

    Темпус

    Get the mobile app