Вы здесь

Главная

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling

Автор: 
Lutfiyya H.
Mcmillin B.
Su A.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
распределенный
база данных
формальный
метод
параллельный
верификация
утверждение
Стр.: 
P.363-376.
Библиография: 
Bibliogr.: p.376.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
735
Карточка: 

Б3.54, Б5.33, Б2.43.

Lutfiyya H., Mcmillin B., Su A..

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling: Springer// Lecture Notes in Computer Science-1993.-Vol. 735.-P.363-376.
Bibliogr.: p.376.

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