|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Использование трансформации программ при проверке их правильности в обучающих системахтезисы доклада
- Автор: Панфёров А.А.
- Сборник: Сборник тезисов лучших дипломных работ 2008 года
- Тезисы
- Год издания: 2008
- Место издания: МГУ, Изд. отдел ф-та ВМК Москва
- Первая страница: 93
- Последняя страница: 94
- Добавил в систему: Панфёров Антон Александрович