004.451.87 C87     Craig, I.     Formal refinement for operating system kernels [Electronic resource] / I. Craig. - Electronic text data. - London : Springer-Verlag, 2007. - ISBN 978-1-84628-967-5 : Б. ц. ГРНТИ 50.41.15 УДК 004.451.87 Рубрики: Операционные системы См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет