Полное описание

Хаберланд Рене. Логический язык программирования как инструмент спецификации и верификации динамической памяти : специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене. - 2020. - 16 с. : ил. - Библиогр.: с. 15-16. - 100 экз. - Текст : непосредственный.

ГРНТИ	УДК
50.05.09	004.43(043)
50.11	004.332.33(043)

Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ОПЕРАТИВНЫЕ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар20-1621)

Шифр в сводном ЭК: 6bfbb0caca998d3b643d4eae93feac6d

Заказать
Заказ фрагмента документа ₽