Вы здесь

Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.665-686.
Библиография: 
Bibliogr.: p.685-686
Номер: 
9
Том: 
22
Карточка: 

Б3.21.

Ward M..

Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm// IEEE Trans. on Software Engineering-1996, №9.-Vol. 22.-P.665-686.
Bibliogr.: p.685-686

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