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

004.451.001.57/C87-502232
Craig, I. Formal models of operating system kernels / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - URL: http://dx.doi.org/10.1007/978-1-84628-718-3. - ISBN 978-1-84628-718-3.

ГРНТИ	УДК
50.41.15	004.451-047.58

Рубрики:
Операционные системы -- Моделирование

Доп. точки доступа:
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-1-84628-718-3

Просмотр издания