Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302| Nhan đề: | Formal Models of Operating System Kernels |
| Tác giả: | Craig, D. Iain |
| Từ khoá: | Operating systems Kernels |
| Năm xuất bản: | 2007 |
| Nhà xuất bản: | Springer-Verlag London Limited |
| Tóm tắt: | 1. Introduction; 2. Standard and Generic components; 3. A simple kernels; 4. A swapping kernels; 5. Using messages in the swapping kernels; 6. Virtual storage; 7. Final remarks. |
| Định danh: | https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302 |
| ISSN: | 978-1-84628-375-8 |
| Bộ sưu tập: | Ngoại Văn |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| Formal Models of Operating System Kernels.3586.pdf | 1.83 MB | Adobe PDF |  Xem/Tải về |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.