Formal Models of Operating System Kernels

Сохранить в:
Библиографические подробности
Главный автор: Craig, Iain D.
Формат:
Язык:English
Опубликовано: Springer London 2020
Предметы:
Online-ссылка:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82970
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt