Вы здесь
Системы условных редукций и их применение в проблемно-ориентированной верификации программ
Количество экземпляров:
1
Вид:
Автореферат
Год:
1987
Ключевые слова:
Стр.:
17 с.
Библиография:
Библиогр.: c.16-17
Место защиты:
Номер специальности:
05.13.11
Карточка:
Воробьев С. Г..
Системы условных редукций и их применение в проблемно-ориентированной верификации программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 1987.-17 с.
Библиогр.: c.16-17