Полное описание

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

ГРНТИ	УДК
50.05.13	004.415.5(043)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар08-8313)

Шифр в сводном ЭК: 863ab011bc6ad82a398fb98489bae8c7

Заказать издание
Заказ фрагмента документа ₽