Formal Models of Operating System Kernels

Thông tin tác giả: Craig, D. Iain
Thông tin xuất bản: Springer-Verlag London Limited 2014
Nguồn tài liệu: Trường Đại học Kiến trúc Đà Nẵng