Версия для слепых
Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. кандидата технических наук : 05.13.18
Математическое моделирование верификации процесса разработки программного обеспечения
автореферат дис. ... кандидата технических наук : 05.13.18
Тюмень, 2009

Математическое моделирование верификации процесса разработки программного обеспечения
автореферат дис. ... кандидата технических наук : 05.13.18

Тюмень, 2009

Библиографическое описание

Скопировать
Григорьев, Михаил Викторович. Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. ... кандидата технических наук : 05.13.18 / Григорьев Михаил Викторович; [Место защиты: Тюмен. гос. ун-т]. — Тюмень, 2009. — 18 с..

Детальная информация

Код документа в НЭБ
000199_000009_003469609
Автор(ы)
Заглавие
Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. кандидата технических наук : 05.13.18
Место издания
Тюмень
Год издания
2009
Объем
18 с.
Ответственность
Григорьев Михаил Викторович; [Место защиты: Тюмен. гос. ун-т]
ББК
З973.2-018-5-05,0
Язык
Русский
Ключевые слова
верификация проектирования программного обеспечения - математическое моделирование

Другие документы из источника "Российская государственная библиотека (РГБ)" — Авторефераты диссертаций

Мамедова Севиль Вахид кызы
ул. К. Маркса, 2026
Российская государственная библиотека (РГБ)
Доступ: свободный
Посмотреть все документы источника "Российская государственная библиотека (РГБ)"

MARC-запись (MARC21)

LDR
01988nam a2200301 i 4500
001
003469609
003
RuMoRGB
005
20091224130048.0
008
090626s2009 ru |||| a |00 u rus d
017
##
$a: 09-10845А
$b: RuMoRKP
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
072
#1
$a: 05.13.18
$2: nsnr
084
##
$a: З973.2-018-5-05,0
$2: rubbk
100
1#
$a: Григорьев, Михаил Викторович
245
##
$a: Математическое моделирование верификации процесса разработки программного обеспечения :
$b: автореферат дис. ... кандидата технических наук : 05.13.18
$c: Григорьев Михаил Викторович; [Место защиты: Тюмен. гос. ун-т]
260
##
$a: Тюмень
$c: 2009
300
##
$a: 18 с.
650
#1
$a: Математическое моделирование, численные методы и комплексы программ
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Верификация проектирования программного обеспечения
$2: rubbk
653
##
$a: верификация проектирования программного обеспечения - математическое моделирование
720
1#
$a: Тюменский государственный университет
787
11
$w: 004345954
$i: Диссертация
852
##
$a: РГБ
$b: FB
$c: D13N
$j: 9 09-3/2365
$x: 90
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01003000000/rsl01003469000/rsl01003469609/rsl01003469609.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. кандидата технических наук : 05.13.18 » , автор — Григорьев М.В.. Документ был опубликован в 2009 году. Место издания — Тюмень. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Математическое моделирование верификации процесса разработки программного обеспечения : автореферат дис. кандидата технических наук : 05.13.18 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.
Вы находитесь на новой версии портала Национальной Электронной Библиотеки. Если вы хотите воспользоваться старой версией, перейдите по ссылке .