Полное описание
>
Коннов, И. В. Верификация параметризированных моделей распределенных систем : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Коннов. - М. : [б. и.], 2008. - 26 с. - Библиогр.: с. 25-26(7 назв.). - Текст : непосредственный.
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
ГРНТИ | УДК | |
50.05.13 | 004.415.5(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Заказ фрагмента документа ₽