Летичевский Александр Александрович. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами : дис... канд. физ.-мат. наук: 01.05.03 / НАН Украины; Институт кибернетики им. В.М.Глушкова. — К., 2005. — 138л. : рис. — Библиогр.: л. 133-138.
|