Suggested Topics within your search.
Showing 41 - 60 results of 64 for search '(("Формальні методи програмування") OR ("Формальні метод програмування"))', query time: 0.03s Refine Results
  1. 41
    C# program verification problems: solution by a three-level method
    by Promsky, A.V.
    Published 2008
    Article
    Save to List
    Saved in:
  2. 42
    Алгебро-логічний підхід до аналізу та обробки текстової інформації
    Article
    Save to List
    Saved in:
  3. 43
    Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
    Article
    Save to List
    Saved in:
  4. 44
    Применение систем переписывания термов к анализу исходного программного кода
    Article
    Save to List
    Saved in:
  5. 45
    Solving contest problems via formal program verification
    by Shilov, N.V., Shilova, S.O.
    Published 2010
    Article
    Save to List
    Saved in:
  6. 46
    Методика автоматизованої трансформації схем алгоритмів
    Article
    Save to List
    Saved in:
  7. 47
    Задача проверки Т-выполнимости для логического языка VL1 системы VRS
    by Тимофеев, В.Г.
    Published 2012
    Save to List
    Saved in:
  8. 48
    Инструментальные средства трансформации схем алгоритмов и программ
    by Мохница, А.С.
    Published 2006
    Article
    Save to List
    Saved in:
  9. 49
    Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
    by Мохница, А.С.
    Published 2008
    Article
    Save to List
    Saved in:
  10. 50
    Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
    Article
    Save to List
    Saved in:
  11. 51
    Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
    by Яценко, Е.А.
    Published 2012
    Save to List
    Saved in:
  12. 52
    Нечеткие модели мультиагентных систем в распределенной среде
    Article
    Save to List
    Saved in:
  13. 53
    На пути к верификации С-программ. Язык c-light и его трансформационная семантика
    Article
    Save to List
    Saved in:
  14. 54
    Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
    Article
    Save to List
    Saved in:
  15. 55
    APS C++ User's Library
    Article
    Save to List
    Saved in:
  16. 56
    Algebraic approach to the analysis of legal documents
    Article
    Save to List
    Saved in:
  17. 57
    Система композиционно-номинативного программирования SCRIPT.NET
    by Процик, П.П.
    Published 2008
    Article
    Save to List
    Saved in:
  18. 58
    Методи аналізу програмних архітектур, представлених нечіткими графовими моделями
    Article
    Save to List
    Saved in:
  19. 59
    Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
    Article
    Save to List
    Saved in:
  20. 60
    Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search