Ordered and Continuous Models of Higher-Order Specifications

Вы здесь

Автор:

Moller B.

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

Вид:

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

Год:

1994

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

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

модель

Стр.:

P.223-255.

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

Bibliogr.: p.253-255.

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

816

Карточка:

Б2.1.

Moller B..

Ordered and Continuous Models of Higher-Order Specifications: Springer// Lecture Notes in Computer Science-1994.-Vol. 816.-P.223-255.
Bibliogr.: p.253-255.

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

PAP9 209