Вы здесь
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