Formal models of operating system kernels

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Craig, Iain D.
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	London Springer c2007.
বিষয়গুলি:	Operating systems (Computers)