|
004.451.001.57/C87-502232
Craig, I. Formal models of operating system kernels [Electronic resource] / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - ISBN 978-1-84628-718-3 : Б. ц.
Рубрики: Операционные системы--Моделирование
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
|
|