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

Вы здесь

Автор:

Кучеров Г. А.

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

1

Колл. автор:

ВЦ СО АН СССР

Вид:

Препринт

Год:

1987

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

абстрактный

тип данных

спецификация

Стр.:

25 с.

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

Библиогр.: c.24-25

Место издания:

Новосибирск

Номер:

750

Карточка:

Б2.11.

Кучеров Г. А..

Об алгоритме доказательства свойств абстрактных типов данных-Новосибирск., 1987.-25 с.-(Препринт ВЦ СО АН СССР №750).
Библиогр.: c.24-25

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

PREP2 205