TY  - BOOK
AU  - Шоу,Алан
AU  - Макаров,В.В.
AU  - Никитин,В.Д.
AU  - Соловьев,Г.Н.
TI  - Логическое проектирование операционных систем: Пер. с англ. 
PY  - 1981///
CY  - Москва
PB  - Мир
KW  - Математическое обеспечение
KW  - Цифровые вычислительные машины
KW  - Проектирование
KW  - Разработка
KW  - Операционная система
KW  - ЭВМ
KW  - Компьютер
N2  - Библиогр.: с. 347 - 353
ER  -