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систент при вступі до ХАІ
    • Спеціальності
    • 3D тур по ХАІ
    • ФМШ ХАІ

    Освіта

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

    Наука

    • Спеціалізовані ради
    • Аспірантура і докторантура
    • Наукові видання
    • Академічна доброчесність
    • Horizon 2020

    МОН

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

    НКП

    Темпус

    Get the mobile app