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

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

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

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

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

    Університет

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

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

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

    Освіта

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

    Наука

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

    МОН

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

    НКП

    Темпус

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