Вы здесь

Алгоритмы антиунификации и их применение для вычисления инвариантов программ

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2008
Стр.: 
23 с.
Библиография: 
Библиогр.: c.23
Место защиты: 
Номер специальности: 
01.01.09
Карточка: 

Б4.12.

Костылев Е. В..

Алгоритмы антиунификации и их применение для вычисления инвариантов программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.09.-Москва, 2008.-23 с.
Библиогр.: c.23

Таблица в старой библиотеке: 
DAR1 691