Vista normal
Vista MARC
- Craig, Iain D.
Craig, Iain D. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)291476: Craig, Iain D. autor, Formal Refinement for Operating System Kernels /
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)291476: Craig, Iain D. autor, Formal Refinement for Operating System Kernels /