32.973.2-018
   Г 83


    Григорьев, Михаил Викторович (1983-).
    Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. ... канд. техн. наук : 05.13.18 / М. В. Григорьев ; Тюм. гос. ун-т. - Тюмень, 2009. - 18 с. - Библиогр.: с. 17-18

ГРНТИ
ББК 32.973.2-018в641

Рубрики:
Электронно-вычислительные машины -- Программы для ЭВМ -- Математические методы -- Авторефераты диссертаций


Держатели документа:
Тюменская ОНБ

Доп. точки доступа:
Тюменский государственный университет

Экземпляры всего: 2
КХ (С 5) (1), КХ (С 7) (1)
Свободны: КХ (С 5) (1), КХ (С 7) (1)