Разработка методов доказательства правильности программ для одного класса алгоритмов

Вы здесь

Автор:

Касаткина И. В.

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

Вид:

Автореферат

Год:

1981

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

метод

доказательство

правильность

Стр.:

23 с.

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

Библиогр.: c.23

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

Киев

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

01.01.10

Карточка:

Касаткина И. В..

Разработка методов доказательства правильности программ для одного класса алгоритмов: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.10.-Киев, 1981.-23 с.
Библиогр.: c.23