Formal Models of Operating System Kernels

作者: Craig, Iain D.
出版社: Springer-Verlag New York Inc
出版年: 2006-11
页数: 348
定价: $ 123.17
装帧: HRD
ISBN: 9781846283758