Formal Models of Operating System Kernels by Iain D. CraigFormal Models of Operating System Kernels by Iain D. Craig

Formal Models of Operating System Kernels

byIain D. Craig

Paperback | October 13, 2010

Pricing and Purchase Info

$204.53 online 
$219.50 list price save 6%
Earn 1,023 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:Formal Models of Operating System KernelsFormat:PaperbackDimensions:333 pages, 23.5 × 15.5 × 0.01 inPublished:October 13, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1849965927

ISBN - 13:9781849965927

Look for similar items by category:


Table of Contents

Introduction.- Standard and Generic Components.- A Simple Kernel.- A Swapping Kernel.- Using Messages in the Swapping Kernel.- Virtual Storage.- Final Remarks.- References.- List of Definitions.- Index.