|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On the equivalence-checking problem for polysemantic models of sequential programsстатья
- Авторы: Zakharov V.A., Zakharyaschev I.M.
- Сборник: Труды Института системного программирования РАН
- Том: 6
- Год издания: 2004
- Место издания: ИСП РАН Москва
- Первая страница: 182
- Последняя страница: 199
- Добавил в систему: Захаров Владимир Анатольевич