This is the product description text that will appear here.
Quantity
1
Description
Formal Refinement for Operating System Kernels Craig, Iain D. This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actua...