Научная Библиотека Пермского Государственного Университета

Основная библиотечная БД

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕРИФИКАЦИИ<.>)

Общее количество найденных документов : 1

   1559169


    Григорьев, М. В.
    Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. ... канд. техн. наук : 05.13.18 / М. В. Григорьев ; Тюмен. гос. ун-т. - Тюмень, 2009. - 18 с.
Кл.слова (ненормированные):
ПРОГРАММНАЯ ИНЖЕНЕРИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ (РАЗРАБОТКА) -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЕРИФИКАЦИИ -- ФОРМАЛИЗАЦИЯ ВЕРИФИКАЦИИ -- ПРОЦЕСС КОМАНДНОЙ РАЗРАБОТКИ ПРОЕКТОВ -- КОРРЕКТНОСТЬ ОРГАНИЗАЦИИ ПРОЦЕССОВ -- ПОДДЕРЖКА ПРОЦЕССА РАЗРАБОТКИ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)