|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О проблеме логико-термальной эквивалентности последовательных программ с динамической памятьюстатья
- Авторы: Захаров В.А., Иванов К.С.
- Сборник: Труды Института системного программирования РАН
- Том: 11
- Год издания: 2006
- Место издания: ИСП РАН
- Первая страница: 61
- Последняя страница: 82
- Добавил в систему: Захаров Владимир Анатольевич