Логический язык программирования как инструмент спецификации и верификации для динамической памяти

Хаберланд Рене. Логический язык программирования как инструмент спецификации и верификации для динамической памяти: автореферат дис. ... кандидата Технических наук: 05.13.11 / Хаберланд Рене;[Место защиты: ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»], 2020
Автор
Хаберланд Рене
Год
2022

  • 99 000 UZS

Рекомендуем вам товары

Интеллектуальный анализ данных в СУБД
99 000 UZS
Автор
Цымблер Михаил Леонидович
Количество страниц
Год
2020
Комплексная технология распределения регистров и планирования инструкций в оптимизирующем компиляторе вычислительных комплексов семейства "Эльбрус"
99 000 UZS
Автор
Иванов, Дмитрий Сергеевич
Количество страниц
Год
2012
Методы и средства программирования софт-архитектур для реконфигурируемых вычислительных систем
99 000 UZS
Автор
Коваленко, Василий Борисович
Количество страниц
Год
2012
Методы, алгоритмы и программные средства повышения скорости поиска в базах данных
99 000 UZS
Автор
Коротков, Александр Евгеньевич
Количество страниц
Год
2012
Верификация драйверов операционной системы Linux при помощи предикатных абстракций
99 000 UZS
Автор
Мутилин, Вадим Сергеевич
Количество страниц
Год
2012
Новостной блок
Модули для Opencart 2, Опенкарт 3