Формальные модели и верификация свойств программ с использованием промежуточного представления
диссертация ... кандидата физико-математических наук : 05.13.17
диссертация ... кандидата физико-математических наук : 05.13.17
Москва, 2015
Формальные модели и верификация свойств программ с использованием промежуточного представления
диссертация ... кандидата физико-математических наук : 05.13.17
Москва, 2015
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Кривчиков, Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация ... кандидата физико-математических наук : 05.13.17 / Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]. — Москва, 2015. — с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_010172350
Каталог
Автор(ы)
Заглавие
Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация . кандидата физико-математических наук : 05.13.17
Место издания
Москва
Год издания
2015
Объем
с.
Ответственность
Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]
Язык
Русский
Еще
Библиотека
LDR
01806nam a2200265 i 4500
001
010172350
003
RuMoRGB
008
191230s2015 ru |||| a |00 u rus d
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$e: rcr
$d: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$e: rcr
$d: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.17
$2: nsnr
$a: 05.13.17
$2: nsnr
100
1#
$a: Кривчиков, Максим Александрович
$a: Кривчиков, Максим Александрович
245
##
$a: Формальные модели и верификация свойств программ с использованием промежуточного представления :
$b: диссертация ... кандидата физико-математических наук : 05.13.17
$c: Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]
$a: Формальные модели и верификация свойств программ с использованием промежуточного представления :
$b: диссертация ... кандидата физико-математических наук : 05.13.17
$c: Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]
260
##
$a: Москва
$c: 2015
$a: Москва
$c: 2015
300
##
$a: с.
$b: ил.
$a: с.
$b: ил.
504
##
$a: Библиогр.: с.
$a: Библиогр.: с.
650
#1
$a: Теоретические основы информатики
$2: nsnr
$a: Теоретические основы информатики
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Оптимизация программного обеспечения
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Оптимизация программного обеспечения
$2: rubbk
720
1#
$a: Московский государственный университет им. М. В. Ломоносова (МГУ)
$a: Московский государственный университет им. М. В. Ломоносова (МГУ)
787
11
$w: 005561444
$i: Автореферат
$w: 005561444
$i: Автореферат
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010172000/rsl01010172350/rsl01010172350.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010172000/rsl01010172350/rsl01010172350.pdf
$y: Читать
LKR
##
$a: PAR
$l: RSL01
$b: 005561444
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 005561444
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация . кандидата физико-математических наук : 05.13.17 » , автор — Кривчиков М.А.. Документ был опубликован в 2015 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация . кандидата физико-математических наук : 05.13.17 » в удобной системе просмотра документов.