|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О сложности проверки эквивалентности программ с операторами засылки константтезисы доклада
- Авторы: Захаров В.А., Щербина В.Л.
- Сборник: Tруды VIII Международной конференции «Дискре тные модели в теории управляющих систем»
- Тезисы
- Год издания: 2009
- Место издания: М.: МАКС Пресс
- Первая страница: 369
- Последняя страница: 374
- Добавил в систему: Захаров Владимир Анатольевич