Algebraic Specification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

алгебраический

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

абстрактный

тип данных

Стр.:

P.675-788.

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

Bibliogr.: p.780-788

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

Издательство:

Источник:

Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B

Карточка:

Б2.2, Б2.1.

Wirsing M..

Algebraic Specification-Cambridge.: The MIT Press// Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B, 1994.-P.675-788.
Bibliogr.: p.780-788

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

PAP17 357