Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach -- presenting a formal specification of a kernel -- starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
Read More
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach -- presenting a formal specification of a kernel -- starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
Read Less
Add this copy of Formal Models of Operating System Kernels to cart. $120.08, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2010 by Springer London Ltd.
Add this copy of Formal Models of Operating System Kernels to cart. $129.15, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2010 by Springer London Ltd.
Add this copy of Formal Models of Operating System Kernels to cart. $159.69, 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 Models of Operating System Kernels to cart. $198.05, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2010 by Springer London Ltd.
Add this copy of Formal Models of Operating System Kernels (Hb 2007) to cart. $99.07, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2006 by Springer.
Add this copy of Formal Models of Operating System Kernels (Hb 2007) to cart. $99.41, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2006 by Springer.
Add this copy of Formal Models of Operating System Kernels (Hb 2007) to cart. $101.59, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Formal Models of Operating System Kernels to cart. $120.08, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2006 by Springer.
Add this copy of Formal Models of Operating System Kernels to cart. $129.15, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2006 by Springer.
