|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О применении антиунификации подстановок для проверки эквивалентности программстатья
- Авторы: Захаров В.А., Новикова Т.А.
- Сборник: Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.)
- Серия: Проблемы теоретической кибернетики
- Год издания: 2011
- Место издания: Издательство Нижегородского университета Нижний Новгород
- Первая страница: 340
- Последняя страница: 343
- Добавил в систему: Захаров Владимир Анатольевич