Зведений каталог бібліотек Харкова
Подловченко, Р. И. Техника следов в разрешении проблемы эквивалентностив алгебраических моделях программ [Текст] / НИВЦ МГУ, г.Москва, Россия // Кибернетика и системный анализ. — 2009. — №5. — С. 25-37.
- Анотація:
Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв'язування проблеми еквівалентностів таких моделях.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2009. — №5.
- Теми документа
