Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Буренков, Владимир Сергеевич |
загрузить
в подборку |
Заглавие | Методы и средства верификации протоколов когерентности памяти : автореферат дис. ... кандидата технических наук : 05.13.11 | |
Выходные данные | Москва 2017 | |
Физическое описание | 28 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Запоминающие устройства -- Проектирование | |
Хранение | 9 17-5/656; | |
Электронный адрес |
Электронный ресурс |