|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Модели и алгоритмы в задаче проверки эквивалентности программстатья
- Автор: Захаров В.А.
- Сборник: Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.)
- Год издания: 2012
- Место издания: Изд-во механико-математического ф-та МГУ Москва
- Первая страница: 53
- Последняя страница: 62
- Добавил в систему: Захаров Владимир Анатольевич