Вид документа : Однотомное издание Шифр издания : Ар03-1569 Автор(ы) : Царьков Д.В. Заглавие : Верификация распределенных программ методом проверки на модели : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 Выходные данные : М., 2002 Колич.характеристики :21 с. Примечания : В надзаг.: МГУ им. М.В.Ломоносова, Фак. вычислит. мат. и кибернетики. Библиогр.: с. 20-21(12 назв.) ГРНТИ : 50.05.13 УДК : 004.415.5(043) Экземпляры :ХР(1) Свободны : ХР(1)