TY - BOOK AU - Григорьев,Михаил Викторович TI - Математическое моделирование верификации процесса разработки программного обеспечения: автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 PY - 2009/// CY - Тюмень PB - [б. и.] KW - Математическое моделирование, численные методы и комплексы программ KW - nsnr KW - авторефераты диссертаций N1 - Библиогр.: с. 17-18 ER -