|
ДС97438 Летичевский, Александр Александрович. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Летичевский Александр Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2005. - 138 л.: рис. - Библиогр.: л. 133-138Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|