Formal Models Of Operating System Kernels at Meripustak

Formal Models Of Operating System Kernels

Books from same Author: Iain D. Craig

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Retail Price: ₹ 15044/- [ 25.00% off ]

    Seller Price: ₹ 11283

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 25.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 25.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available



Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Iain D. Craig
    PublisherSpringer
    ISBN9781846283758
    Pages333
    BindingHardback
    LanguageEnglish
    Publish YearDecember 2006

    Description

    Springer Formal Models Of Operating System Kernels by Iain D. Craig

    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._x000D_ _x000D_ Standard and Generic Components.- A Simple Kernel.- A Swapping Kernel.- Using Messages in the Swapping Kernel.- Virtual Storage.- Final Remarks._x000D_