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

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

    Close
    Toggle search input
    1. Courses
    2. Факультет радіоелектроніки, комп'ютерних систем та інфокомунікацій
    3. Кафедра комп'ютерних систем, мереж і кібербезпеки
    4. Дисципліни докторів філософії
    5. Формальні методи розроблення i верифiкації програмних систем
    6. Enrolment options

    Enrolment options

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

    • Teacher: Ілляшенко Олег Олександрович
    Guests cannot access this course. Please log in.

    Університет

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

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

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

    Освіта

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

    Наука

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

    МОН

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

    НКП

    Темпус

    Get the mobile app