Formal Models of Operating System Kernels
Author:   Iain D Craig
Publisher:   Springer
ISBN:  

9781848004979


Pages:   348
Publication Date:   22 September 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Formal Models of Operating System Kernels


Overview

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.

Full Product Details

Author:   Iain D Craig
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.80cm , Length: 15.60cm
Weight:   0.485kg
ISBN:  

9781848004979


ISBN 10:   1848004974
Pages:   348
Publication Date:   22 September 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now