Formal Models of Operating System Kernels

Please use this identifier to cite or link to this item: https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302

Full metadata record

DC Field	Value	Language
dc.contributor.author	Craig, D. Iain	-
dc.date.accessioned	2014-11-14T09:39:26Z	-
dc.date.available	2014-11-14T09:39:26Z	-
dc.date.issued	2007	-
dc.identifier.issn	978-1-84628-375-8	-
dc.identifier.uri	https://thuvienso.dau.edu.vn:88/handle/DHKTDN/6302	-
dc.description.abstract	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.	vi
dc.language.iso	en	vi
dc.publisher	Springer-Verlag London Limited	vi
dc.subject	Operating systems	vi
dc.subject	Kernels	vi
dc.title	Formal Models of Operating System Kernels	vi
dc.type	Book	vi
Appears in Collections:	Ngoại Văn

Files in This Item:

File	Description	Size	Format
Formal Models of Operating System Kernels.3586.pdf		1.83 MB	Adobe PDF	View/Open