|
Ар08-8313
Коннов, И. В. Верификация параметризированных моделей распределенных систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / И. В. Коннов. - М., 2008. - 26 с. - Библиогр.: с. 25-26(7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
|
|