Вы здесь

Главная

Towards the Formal Design of Self-Stabilizing Distributed Algorithms

Автор: 
Lentfert P.J. A.
Swierstra S. D.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
распределенный
алгоритм
проектирование
формальный
Стр.: 
P.440-451.
Библиография: 
Bibliogr.: p.451.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
665
Карточка: 

Б2.12, Б2.42.

Lentfert P.J. A., Swierstra S. D..

Towards the Formal Design of Self-Stabilizing Distributed Algorithms: Springer// Lecture Notes in Computer Science-1993.-Vol. 665.-P.440-451.
Bibliogr.: p.451.

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