Верификация автоматных программ
автореферат дис. ... кандидата технических наук : 05.13.11
автореферат дис. ... кандидата технических наук : 05.13.11
Санкт-Петербург, 2014
Верификация автоматных программ
автореферат дис. ... кандидата технических наук : 05.13.11
Санкт-Петербург, 2014
Библиографическое описание
Скопировать
Лукин, Михаил Андреевич. Верификация автоматных программ : автореферат дис. ... кандидата технических наук : 05.13.11 / Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики]. — Санкт-Петербург, 2014. — 16 с..
Детальная информация
Код документа в НЭБ
000199_000009_005559092
Каталог
Автор(ы)
Заглавие
Верификация автоматных программ : автореферат дис. кандидата технических наук : 05.13.11
Место издания
Санкт-Петербург
Год издания
2014
Объем
16 с.
Ответственность
Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики]
ББК
З973.2-018-5-05,0
Язык
Русский
Еще
Библиотека
LDR
01989nam a2200301 i 4500
001
005559092
003
RuMoRGB
005
20150320102404.0
008
150224s2014 ru |||| a |00 u rus d
017
##
$a: 14-15489А
$b: RuMoRKP
$a: 14-15489А
$b: RuMoRKP
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.11
$2: nsnr
$a: 05.13.11
$2: nsnr
084
##
$a: З973.2-018-5-05,0
$2: rubbk
$a: З973.2-018-5-05,0
$2: rubbk
100
1#
$a: Лукин, Михаил Андреевич
$a: Лукин, Михаил Андреевич
245
##
$a: Верификация автоматных программ :
$b: автореферат дис. ... кандидата технических наук : 05.13.11
$c: Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики]
$a: Верификация автоматных программ :
$b: автореферат дис. ... кандидата технических наук : 05.13.11
$c: Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики]
260
##
$a: Санкт-Петербург
$c: 2014
$a: Санкт-Петербург
$c: 2014
300
##
$a: 16 с.
$a: 16 с.
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация
$2: rubbk
650
#1
$a: Программы(компьют.)
$x: Верификация
RU\NLR\AUTH\661327565
$2: nlr_sh
$a: Программы(компьют.)
$x: Верификация
RU\NLR\AUTH\661327565
$2: nlr_sh
720
1#
$a: Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
$a: Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
787
11
$w: 007879555
$i: Диссертация
$w: 007879555
$i: Диссертация
852
##
$a: РГБ
$b: FB
$c: D13N
$j: 9 14-4/1382
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 14-4/1382
$x: 90
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01005000000/rsl01005559000/rsl01005559092/rsl01005559092.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01005000000/rsl01005559000/rsl01005559092/rsl01005559092.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Верификация автоматных программ : автореферат дис. кандидата технических наук : 05.13.11 » , автор — Лукин М.А.. Документ был опубликован в 2014 году. Место издания — Санкт-Петербург. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Верификация автоматных программ : автореферат дис. кандидата технических наук : 05.13.11 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.