Форма пошуку Назад
укр рус eng
 Cписок

Подловченко Р.И.
Техника следов в разрешении проблемы эквивалентностив алгебраических моделях программ

Вид документа: Стаття періодики
Автор: Подловченко Р.И. Вид автора: персона
Мова: Російська Обсяг: С. 25-37
УДК: 519.1

Аннотацiя:Розглянуто алгебраїчні моделі послідовних програм без процедур. Досліджено питання застосування техніки слідів для розв'язування проблеми еквівалентностів таких моделях.

Є складовою частиною документа: Кибернетика и системный анализ

Відомості щодо назви
 Відомості про відповідальність:НИВЦ МГУ, г.Москва, Россия

Відомості щодо головного
 Назва головного документа:Кибернетика и системный анализ
 Дата видання головного документа:2009
 Номер частини головного документа:5

Загальна інформація
 Бібліографія:9 назв

Теми документа: