|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проверка эквивалентности программ при помощи двухленточных автоматовстатья
- Автор: Захаров В.А.
- Журнал: Кибернетика и системный анализ
- Номер: 4
- Год издания: 2010
- Издательство: Наукова Думка
- Местоположение издательства: Киев
- Первая страница: 39
- Последняя страница: 48
- Добавил в систему: Захаров Владимир Анатольевич