|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Методология построения систем эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ»тезисы доклада
- Автор: Подловченко Р.И.
- Сборник: Труды семинара «Семантика, спецификация и верификация программ : тория и приложения» (Казань, 14-15 июня 2010)
- Тезисы
- Год издания: 2010
- Место издания: изд-во "Отечество" Казань
- Первая страница: 82
- Последняя страница: 87
- Добавил в систему: Подловченко Римма Ивановна