Полное описание
>
Craig, I. Formal refinement for operating system kernels / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - URL: http://dx.doi.org/10.1007/978-1-84628-967-5. - ISBN 978-1-84628-967-5.
ГРНТИ | УДК | |
50.41.15 | 004.451.87 |
Рубрики:
Операционные системы
Доп. точки доступа:
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-1-84628-967-5
Просмотр издания