Методы и средства верификации протоколов когерентности памяти
диссертация ... кандидата технических наук : 05.13.11
диссертация ... кандидата технических наук : 05.13.11
Москва, 2017
Методы и средства верификации протоколов когерентности памяти
диссертация ... кандидата технических наук : 05.13.11
Москва, 2017
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Буренков, Владимир Сергеевич. Методы и средства верификации протоколов когерентности памяти : диссертация ... кандидата технических наук : 05.13.11 / Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования]. — Москва, 2017. — 164 с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_008919194
Каталог
Автор(ы)
Заглавие
Методы и средства верификации протоколов когерентности памяти : диссертация . кандидата технических наук : 05.13.11
Место издания
Москва
Год издания
2017
Объем
164 с.
Ответственность
Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования]
Язык
Русский
Еще
Библиотека
LDR
01642nam a2200301 i 4500
001
008919194
003
RuMoRGB
005
20170619130206.0
008
170619s2017 ru |||| a |00 u rus d
017
##
$a: д6777-17
$b: RuMoRGB
$a: д6777-17
$b: RuMoRGB
017
##
$a: АААА-В17-417062050072-6
$b: RuMoVNTIC
$a: АААА-В17-417062050072-6
$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
100
1#
$a: Буренков, Владимир Сергеевич
$a: Буренков, Владимир Сергеевич
245
##
$a: Методы и средства верификации протоколов когерентности памяти :
$b: диссертация ... кандидата технических наук : 05.13.11
$c: Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования]
$a: Методы и средства верификации протоколов когерентности памяти :
$b: диссертация ... кандидата технических наук : 05.13.11
$c: Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования]
260
##
$a: Москва
$c: 2017
$a: Москва
$c: 2017
300
##
$a: 164 с.
$b: ил.
$a: 164 с.
$b: ил.
504
##
$a: Библиогр.: с. 147-161
$a: Библиогр.: с. 147-161
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
720
1#
$a: Институт системного программирования
$a: Институт системного программирования
787
11
$w: 006655277
$i: Автореферат
$w: 006655277
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL01
$j: 61 17-5/1189
$x: 39
$a: РГБ
$b: OD
$c: HL01
$j: 61 17-5/1189
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01008000000/rsl01008919000/rsl01008919194/rsl01008919194.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01008000000/rsl01008919000/rsl01008919194/rsl01008919194.pdf
$y: Читать
LKR
##
$a: PAR
$l: RSL01
$b: 006655277
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 006655277
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Методы и средства верификации протоколов когерентности памяти : диссертация . кандидата технических наук : 05.13.11 » , автор — Буренков В.С.. Документ был опубликован в 2017 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Методы и средства верификации протоколов когерентности памяти : диссертация . кандидата технических наук : 05.13.11 » в удобной системе просмотра документов.