Поиск :
Личный кабинет :
Электронный каталог: Ермолаева, А. Б. - Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарат...
Ермолаева, А. Б. - Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарат...
![](/absopac/app/webroot/img/doctypes/44.gif)
Экз. чит. зала
Диссертация
Автор: Ермолаева, А. Б.
Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарат... : дис. ... канд. технических наук : 05.13.13
Издательство: МИЭМ, 1987 г.
ISBN отсутствует
Автор: Ермолаева, А. Б.
Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарат... : дис. ... канд. технических наук : 05.13.13
Издательство: МИЭМ, 1987 г.
ISBN отсутствует
Диссертация
Дис. Е741
Ермолаева, А. Б.
Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарата темпоральной логики [Книга]: дис ... канд. технических наук : 05.13.13 / А. Б. Ермолаева. – М.: МИЭМ, 1987. – 145 с. - Библиогр.: с.115-123.
общий = Информатика и вычислительная техника = computer science and technology : вычислительные сети = computer networks [ 004.7 ]
Библиотека НИУ ВШЭ МИЭМ, чит.зал : MIEM, Reading hall РК Научный Дис. Е741
Дис. Е741
Ермолаева, А. Б.
Разработка средств верификации протоколов локальных вычислительных сетей с использованием аппарата темпоральной логики [Книга]: дис ... канд. технических наук : 05.13.13 / А. Б. Ермолаева. – М.: МИЭМ, 1987. – 145 с. - Библиогр.: с.115-123.
общий = Информатика и вычислительная техника = computer science and technology : вычислительные сети = computer networks [ 004.7 ]
Библиотека НИУ ВШЭ МИЭМ, чит.зал : MIEM, Reading hall РК Научный Дис. Е741