Логический язык программирования как инструмент спецификации и верификации для динамической памяти
автореферат дис. ... кандидата технических наук : 05.13.11
автореферат дис. ... кандидата технических наук : 05.13.11
Санкт-Петербург, 2020
Логический язык программирования как инструмент спецификации и верификации для динамической памяти
автореферат дис. ... кандидата технических наук : 05.13.11
Санкт-Петербург, 2020
Библиографическое описание
Скопировать
Хаберланд, Рене. Логический язык программирования как инструмент спецификации и верификации для динамической памяти : автореферат дис. ... кандидата технических наук : 05.13.11 / Хаберланд Рене; [Место защиты: Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)]. — Санкт-Петербург, 2020. — 16 с..
Детальная информация
Код документа в НЭБ
000199_000009_010243015
Каталог
Автор(ы)
Заглавие
Логический язык программирования как инструмент спецификации и верификации для динамической памяти : автореферат дис. кандидата технических наук : 05.13.11
Место издания
Санкт-Петербург
Год издания
2020
Объем
16 с.
Ответственность
Хаберланд Рене; [Место защиты: Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)]
ББК
З973.26-045-018,0, З973.2-018.1,0
Язык
Русский
Еще
Библиотека
LDR
02618nam a22003257 4500
001
010243015
003
RuMoRGB
005
20210817151553.0
008
200417s2020 ru |||| a |00 u rus d
017
##
$a: АР-П-20-001621
$b: RuMoRKP
$a: АР-П-20-001621
$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.26-045-018,0
$2: rubbk
$a: З973.26-045-018,0
$2: rubbk
084
##
$a: З973.2-018.1,0
$2: rubbk
$a: З973.2-018.1,0
$2: rubbk
100
1#
$a: Хаберланд, Рене
$a: Хаберланд, Рене
245
##
$a: Логический язык программирования как инструмент спецификации и верификации для динамической памяти :
$b: автореферат дис. ... кандидата технических наук : 05.13.11
$c: Хаберланд Рене; [Место защиты: Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)]
$a: Логический язык программирования как инструмент спецификации и верификации для динамической памяти :
$b: автореферат дис. ... кандидата технических наук : 05.13.11
$c: Хаберланд Рене; [Место защиты: Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)]
260
##
$a: Санкт-Петербург
$c: 2020
$a: Санкт-Петербург
$c: 2020
300
##
$a: 16 с.
$a: 16 с.
541
1#
$c: RBT
$d: 20200403
$e: 2020.06.03.10
$c: RBT
$d: 20200403
$e: 2020.06.03.10
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Элементы и узлы -- Запоминающие устройства -- Программирование
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Элементы и узлы -- Запоминающие устройства -- Программирование
$2: rubbk
650
#1
$a: Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
$2: rubbk
$a: Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
$2: rubbk
720
1#
$a: ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»
$a: ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»
787
11
$w: 010992359
$i: Диссертация
$w: 010992359
$i: Диссертация
852
1#
$a: РГБ
$b: OD
$c: HL04
$j: 9 20-5/320
$x: 39
$a: РГБ
$b: OD
$c: HL04
$j: 9 20-5/320
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010243000/rsl01010243015/rsl01010243015.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010243000/rsl01010243015/rsl01010243015.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Логический язык программирования как инструмент спецификации и верификации для динамической памяти : автореферат дис. кандидата технических наук : 05.13.11 » , автор — Хаберланд Р.. Документ был опубликован в 2020 году. Место издания — Санкт-Петербург. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Логический язык программирования как инструмент спецификации и верификации для динамической памяти : автореферат дис. кандидата технических наук : 05.13.11 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.