|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проверка эквивалентности программ: модели и алгоритмытезисы доклада
- Авторы: Захаров В.А., Подловченко Р.И.
- Сборник: Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции (Пенза, 23-28 мая 2005 г.)
- Серия: Проблемы теоретической кибернетики
- Тезисы
- Год издания: 2005
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 122
- Последняя страница: 122
- Добавил в систему: Захаров Владимир Анатольевич