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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!