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

Вы здесь

Автор:

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

1

Вид:

Автореферат

Год:

1984

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

абстрактный

тип данных

частичный

корректность

программа

Стр.:

16 с.

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

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

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

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

01.01.10

Карточка:

Менц Х..

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