This book was written as a companion to my book on modelling operating system kernels. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon.
Read More
This book was written as a companion to my book on modelling operating system kernels. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon.
Read Less
Add this copy of Formal Refinement for Operating System Kernels to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer London Ltd.
Add this copy of Formal Refinement for Operating System Kernels to cart. $75.74, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2007 by Springer.
Add this copy of Formal Refinement for Operating System Kernels to cart. $75.74, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2007 by Springer.
Add this copy of Formal Refinement for Operating System Kernels to cart. $76.74, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2007 by Springer.
