Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
модель программы
Підтеми:
Документи:
- Андон, Ф. И. Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители [Текст] / Ф. И. Андон, А. Е. Дорошенко, К. А. Жереб // Кибернетика и системный анализ. – 2011. – Т. 47, № 4. – С. 176-187.
- Булычев, П. Е. Теоретико-игровое средство проверки отношений симуляций [Текст] / П. Е. Булычев // Программирование. – 2011. – № 4. – С. 39--52.
- Подловченко, Л. Автоматно-полугрупповые модели программ [Текст] / Л. Подловченко // Программирование. – 2006. – № 6. – 5-13.
- Подловченко, Р. И. Исследования в теории алгебраических моделей программ с процедурами [Текст] / Р. И. Подловченко // Программирование. – 2016. – № 1. – С. 5-9.
- Подловченко, Р. И. Об одной методике распознавания эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко // Программирование. – 2011. – № 6. – С. 33-43.
- Подловченко, Р. И. Полные системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ с левым сокращением [Текст] / Р. И. Подловченко // Программирование. – 2010. – № 3. – С. 3-18.
- Подловченко, Р. И. Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 25-37.
- Салапатов, В. І. Порядок опису і обробки графа автоматної моделі програми [Текст] / В. І. Салапатов // Математичні машини і системи. – 2021. – № 3. – С. 121-125.
|