Рекомендовані теми у межах Вашого пошуку.
Альтернативи пошуку:
"Формальні методи програмування" » "Формальні метод програмування" (Розширити пошук)
Показ 21 - 32 результатів із 32 для пошуку '"Формальні методи програмування"', час виконання запиту: 0.06сек. Уточнити результати
  1. 21
    Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
    за авторством Годлевский, А.Б., Потиенко, С.В.
    Опубліковано 2010
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 22
    Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
    за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
    Опубліковано 2014
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 23
    Разработка и обоснование алгоритмов на основе семантических свойств
    за авторством Крывый, С.Л., Максимец, А.Н.
    Опубліковано 2014
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 24
    Оптимизация проверки выполнимости переходов при верификации формальных моделей
    за авторством Колчин, А.В.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  5. 25
    Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
    за авторством Шинкаренко, В.И., Забула, Г.В.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  6. 26
    Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
    за авторством Яценко, Е.А.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  7. 27
    Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
    за авторством Дорошенко, А.Е., Иовчев, В.А.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  8. 28
    Задача проверки Т-выполнимости для логического языка VL1 системы VRS
    за авторством Тимофеев, В.Г.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  9. 29
    Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
    за авторством Максимець, О.М.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  10. 30
    Алгебра для описания данных в композиционных схемах алгоритмов
    за авторством Акуловский, В.Г.
    Опубліковано 2012
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  11. 31
    Algebraic approach to the analysis of legal documents
    за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
    Опубліковано 2022
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 32
    Formal semantics and analysis of tokenomics properties
    за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
    Опубліковано 2022
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук