【预订】Formal Refinement for Operating System Kernels 9781849966894

【3-4周达】Formal Refinement for Operating System Kernels (Softcover reprint of hardcover 1st ed. 2007) [9781849966894]