CEDISYS: Compositional Distributed Systems Final Report | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

1992

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

параллелизм

распределенный

параллельный

верификация

Стр.:

P.82-86.

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

Bibliogr.: p.84-86.

Источник:

Том:

47

Карточка:

Б2.42, Б2.43.

CEDISYS: Compositional Distributed Systems Final Report// EATCS Bull.-1992.-Vol. 47.-P.82-86.
Bibliogr.: p.84-86.

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

PAP4 74