Formal Models of Operating System Kernels
作者: Craig, Iain D.
出版社: Springer-Verlag New York Inc
出版年: 2006-11
页数: 348
定价: $ 123.17
装帧: HRD
ISBN: 9781846283758
楼主: wxwpxh
|
364
0
Formal Models of Operating System Kernels |
学术权威 47%
-
|
| ||
京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明 免责及隐私声明