• Shop by category
  • Powered by eBay
  • Formal Models of Operating System Kernels by Iain D. Craig (English) Hardcover B

    • Item No : 136147175559
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $189.80
    • * Item Description

    • Kernels are notoriously complex and hard to understand. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design - thus making explicit that which is too often left implicit or even unknown.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category