Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
диссертация ... кандидата физико-математических наук : 05.13.11
диссертация ... кандидата физико-математических наук : 05.13.11
Москва, 2015
Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
диссертация ... кандидата физико-математических наук : 05.13.11
Москва, 2015
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Игнатьев, Валерий Николаевич. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация ... кандидата физико-математических наук : 05.13.11 / Игнатьев Валерий Николаевич; [Место защиты: Ин-т систем. программирования]. — Москва, 2015. — 121 с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_007966409
Каталог
Автор(ы)
Заглавие
Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация . кандидата физико-математических наук : 05.13.11
Место издания
Москва
Год издания
2015
Объем
121 с.
Ответственность
Игнатьев Валерий Николаевич; [Место защиты: Ин-т систем. программирования]
ББК
З973.2-018.19C/C++,0
Язык
Русский
Еще
Ключевые слова
C/C++ - ограничения - проверка
Библиотека
LDR
02064nam a2200337 i 4500
001
007966409
003
RuMoRGB
005
20150701143119.0
008
150520s2015 ru |||| a |00 u rus d
017
##
$a: д7360-15
$b: RuMoRGB
$a: д7360-15
$b: RuMoRGB
017
##
$a: 415070170024
$b: RuMoVNTIC
$a: 415070170024
$b: RuMoVNTIC
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.19C/C++,0
$2: rubbk
$a: З973.2-018.19C/C++,0
$2: rubbk
100
1#
$a: Игнатьев, Валерий Николаевич
$a: Игнатьев, Валерий Николаевич
245
##
$a: Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ :
$b: диссертация ... кандидата физико-математических наук : 05.13.11
$c: Игнатьев Валерий Николаевич; [Место защиты: Ин-т систем. программирования]
$a: Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ :
$b: диссертация ... кандидата физико-математических наук : 05.13.11
$c: Игнатьев Валерий Николаевич; [Место защиты: Ин-т систем. программирования]
260
##
$a: Москва
$c: 2015
$a: Москва
$c: 2015
300
##
$a: 121 с.
$b: ил.
$a: 121 с.
$b: ил.
504
##
$a: Библиогр.: с. 113-121
$a: Библиогр.: с. 113-121
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования -- C/C++
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования -- C/C++
$2: rubbk
653
##
$a: C/C++ - ограничения - проверка
$a: C/C++ - ограничения - проверка
720
1#
$a: Институт системного программирования
$a: Институт системного программирования
787
11
$w: 005568722
$i: Автореферат
$w: 005568722
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL01
$j: 61 15-1/580
$x: 39
$a: РГБ
$b: OD
$c: HL01
$j: 61 15-1/580
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01007000000/rsl01007966000/rsl01007966409/rsl01007966409.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01007000000/rsl01007966000/rsl01007966409/rsl01007966409.pdf
$y: Читать
LKR
##
$a: PAR
$l: RSL01
$b: 005568722
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 005568722
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация . кандидата физико-математических наук : 05.13.11 » , автор — Игнатьев В.Н.. Документ был опубликован в 2015 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : диссертация . кандидата физико-математических наук : 05.13.11 » в удобной системе просмотра документов.