A Generic and Executable Model for the Specification and Validation of Distributed Behaviors | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

операционный

семантика

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

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

динамический

Стр.:

P.258-274

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

Bibliogr.: p.271-272

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Trends in Distributed Systems

Том:

1161

Карточка:

Б2.24, Б2.4.

Sidou D..

A Generic and Executable Model for the Specification and Validation of Distributed Behaviors-Berlin, Heidelberg.: Springer// Trends in Distributed Systems, 1996.-Vol. 1161.-P.258-274-(Lecture Notes in Computer Science).
Bibliogr.: p.271-272

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

PAP15 602