Showing 1 - 7 results of 7 for search 'Максимец, А.Н.', query time: 0.01s Refine Results
  1. 1
    Верификация программ: состояние, проблемы, экспериментальные результаты. I
    by Максимец, А.Н.
    Published 2013
    Get full text
    Save to List
    Saved in:
  2. 2
    Верификация программ: состояние, проблемы, экспериментальные результаты. II
    by Максимец, А.Н.
    Published 2014
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Поиск программных инвариантов в виде полиномов
    by Максимец, А.Н.
    Published 2013
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Верификация программ: состояние, проблемы, результаты. I
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Разработка и обоснование алгоритмов на основе семантических свойств
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Верификация программ: состояние, проблемы, результаты. II
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search