Показ 1 - 7 результатів із 7 для пошуку 'Максимец, А.Н.', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    Поиск программных инвариантов в виде полиномов
    за авторством Максимец, А.Н.
    Опубліковано 2013
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Верификация программ: состояние, проблемы, экспериментальные результаты. I
    за авторством Максимец, А.Н.
    Опубліковано 2013
    Отримати повний текст
    Додати у Вибране
    Збережено в:
  3. 3
    Верификация программ: состояние, проблемы, экспериментальные результаты. II
    за авторством Максимец, А.Н.
    Опубліковано 2014
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    Верификация программ: состояние, проблемы, результаты. I
    за авторством Крывый, С.Л., Максимец, А.Н.
    Опубліковано 2013
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Верификация программ: состояние, проблемы, результаты. II
    за авторством Крывый, С.Л., Максимец, А.Н.
    Опубліковано 2014
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Разработка и обоснование алгоритмов на основе семантических свойств
    за авторством Крывый, С.Л., Максимец, А.Н.
    Опубліковано 2014
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
    за авторством Гломозда, Д.К., Глибовец, Н.Н., Максимец, А.Н.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою