Basic Properties of Data Types with Inequational Refinements | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

тип данных

функциональный

моделирование

Стр.:

P.279-296.

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

Bibliogr.: p.295-296.

Источник:

Lecture Notes in Computer Science

Том:

902

Карточка:

Б2.11, Б2.33.

Kondoh H..

Basic Properties of Data Types with Inequational Refinements// Lecture Notes in Computer Science-1995.-Vol. 902.-P.279-296.
Bibliogr.: p.295-296.

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

PAP11 304