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. Enrolment options

    Enrolment options

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

    • Teacher: Шостак Ігор Володимирович
    Guests cannot access this course. Please log in.

    Університет

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

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

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

    Освіта

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

    Наука

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

    МОН

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

    НКП

    Темпус

    Get the mobile app