Using the Causal Domain to Specify and Verify Distributed Programs

Вы здесь

Автор:

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

Вид:

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

Год:

1997

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

Стр.:

P.667-686.

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

Bibliogr.: p.686

Источник:

Номер:

Том:

Карточка:

Б2.23.

Garg V. K., Tomlinson A. I..

Using the Causal Domain to Specify and Verify Distributed Programs// Acta Informatica-1997, №9.-Vol. 34.-P.667-686.
Bibliogr.: p.686

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

PAP16 883