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

    Формальні методи роз ...

    Закрити
    Переключити введення пошуку
    1. Курси
    2. Факультет радіоелектроніки, комп'ютерних систем та інфокомунікацій
    3. Кафедра комп'ютерних систем, мереж і кібербезпеки
    4. Дисципліни докторів філософії
    5. Формальні методи розроблення i верифiкації програмних систем
    6. Резюме

    Формальні методи розроблення i верифiкації програмних систем

    • Teacher: Ілляшенко Олег Олександрович

    Університет

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

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

    • Профком студентів
    • Aсистент при вступі до ХАІ
    • Спеціальності
    • 3D тур по ХАІ
    • ФМШ ХАІ

    Освіта

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

    Наука

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

    МОН

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

    НКП

    Темпус

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