Semantics of Order-Sorted Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

1992

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

семантика

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

абстрактный

тип данных

Стр.:

P.1-35.

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

Bibliogr.: p.33-35.

Источник:

Theoretical Computer Science

Номер:

1

Том:

94

Карточка:

Б2.24, Б2.11.

Waldmann U..

Semantics of Order-Sorted Specifications// Theoretical Computer Science-1992, №1.-Vol. 94.-P.1-35.
Bibliogr.: p.33-35.

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

PAP3 172