Canonical term functors and parameterization-by-use for the specification of abstract data types | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1983

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

абстрактный

тип данных

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

алгоритмический

иерархия

Стр.:

28 P.

Примечание:

О языке спецификаций ASPIK

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

Bibliogr.: p.26-28

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

Номер:

77/83

Карточка:

Б3.51, Б5.11.

Beierle Ch., Vos A..

Canonical term functors and parameterization-by-use for the specification of abstract data types-Kaiserslautern., 1983.-28 P.-(Препринт Univ. Kaiserslautern №77/83).
Bibliogr.: p.26-28

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

PREP1 361