Вы здесь
Deductive Verification of the Classical Sliding Window Protocol
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2012
Ключевые слова:
Стр.:
P.32-39
Библиография:
Bibliogr.: p.39
Место издания:
Издательство:
Источник:
Карточка:
А3.53, Б2.2.
Chkliaev D. A., Nepomniaschy V. A..
Deductive Verification of the Classical Sliding Window Protocol-Nizhni Novgorod.: Publ.House of the Nizhni Novgorod State University// Conference proceedings, 2012.-P.32-39
Bibliogr.: p.39
Таблица в старой библиотеке:
PAP31 752