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