Suggested Topics within your search.
Showing 21 - 40 results of 64 for search '(("Формальні методи програмування") OR ("Формальні метод програмування"))', query time: 0.08s Refine Results
  1. 21
    Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
    Get full text
    Article
    Save to List
    Saved in:
  2. 22
    Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
    Get full text
    Article
    Save to List
    Saved in:
  3. 23
    Разработка и обоснование алгоритмов на основе семантических свойств
    Get full text
    Article
    Save to List
    Saved in:
  4. 24
    Оптимизация проверки выполнимости переходов при верификации формальных моделей
    by Колчин, А.В.
    Published 2012
    Get full text
    Save to List
    Saved in:
  5. 25
    Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
    Get full text
    Save to List
    Saved in:
  6. 26
    Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
    by Яценко, Е.А.
    Published 2012
    Get full text
    Save to List
    Saved in:
  7. 27
    Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
    Get full text
    Save to List
    Saved in:
  8. 28
    Задача проверки Т-выполнимости для логического языка VL1 системы VRS
    by Тимофеев, В.Г.
    Published 2012
    Get full text
    Save to List
    Saved in:
  9. 29
    Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
    by Максимець, О.М.
    Published 2012
    Get full text
    Save to List
    Saved in:
  10. 30
    Алгебра для описания данных в композиционных схемах алгоритмов
    by Акуловский, В.Г.
    Published 2012
    Get full text
    Save to List
    Saved in:
  11. 31
    Algebraic approach to the analysis of legal documents
    Get full text
    Article
    Save to List
    Saved in:
  12. 32
    Formal semantics and analysis of tokenomics properties
    Get full text
    Article
    Save to List
    Saved in:
  13. 33
    Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
    Article
    Save to List
    Saved in:
  14. 34
    Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
    by Яценко, О.А.
    Published 2006
    Article
    Save to List
    Saved in:
  15. 35
    Formal semantics and analysis of tokenomics properties
    Article
    Save to List
    Saved in:
  16. 36
    О технологиях построения и обработки математических моделей программ
    by Львов, С.М.
    Published 2007
    Article
    Save to List
    Saved in:
  17. 37
    Оптимизация проверки выполнимости переходов при верификации формальных моделей
    by Колчин, А.В.
    Published 2012
    Save to List
    Saved in:
  18. 38
    Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
    by Максимець, О.М.
    Published 2012
    Save to List
    Saved in:
  19. 39
    Алгебра для описания данных в композиционных схемах алгоритмов
    by Акуловский, В.Г.
    Published 2012
    Save to List
    Saved in:
  20. 40
    Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search