Итеративные методы анализа процедурных программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Кривой С. Л.

Количество экземпляров:

1

Колл. автор:

Ин-т кибернетики АН Украины

Вид:

Автореферат

Год:

1997

Ключевые слова:

конгруэнтный

изоморфизм

инвариантный

редукция

оптимизация

Стр.:

32 с.

Библиография:

Библиогр.: c.30-32

Место защиты:

Номер специальности:

01.05.01

Карточка:

Б2.1.

Кривой С. Л..

Итеративные методы анализа процедурных программ: Автореферат диссертации на ученую степень: докт. физ.-мат. наук.: 01.05.01.-Киев, 1997.-32 с.
Библиогр.: c.30-32

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

DAR1MP 249