|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одной системе вывода, связанной со статическим анализом программстатья
- Авторы: Захаров В.А., Викторова М.С.
- Сборник: Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.)
- Год издания: 2003
- Место издания: МАКС-Пресс - МГУ Москва
- Первая страница: 26
- Последняя страница: 29
- Добавил в систему: Захаров Владимир Анатольевич