Merging Estelle with TLA+ - work in progress | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1997

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

формальный

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

распределенная система

Стр.:

P.67-71

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

Bibliogr.: p.71

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

Источник:

Proceedings of the CS&P 97 Workshop

Карточка:

Б2.4.

Glanowska A., Janowski P..

Merging Estelle with TLA+ - work in progress-Warszawa.// Proceedings of the CS&P 97 Workshop, 1997.-P.67-71
Bibliogr.: p.71

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

PAP16 999