ヤフー経由でアマゾンを検索！

Formal Refinement for Operating System Kernels

Iain D. Craig
定価 : ￥ 9,113
発売日 : 2007/08/03
出版社/メーカー : Springer-Verlag New York Inc (C)