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