Normal view
MARC view
- Craig, Iain D
Craig, Iain D (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Craig, Iain D., Formal Models of Operating System Kernels, 2007.