CCSP - A Formal System for Distributed Program Debugging | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

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

обработка

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

программирование

Стр.:

P.260-269.

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

Bibliogr.: p.268-269

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

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

Yliopistopaino/Pikapaino

Источник:

Proc. of SMS TPE 94

Карточка:

Б3.54.

Arrowsmith B., Mcmillin B..

CCSP - A Formal System for Distributed Program Debugging-M..: Yliopistopaino/Pikapaino// Proc. of SMS TPE 94, 1994.-P.260-269.
Bibliogr.: p.268-269

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

PAP17 742