Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Models of Operating System Kernels
Iain D. Craig
€ 187.26
FREE Delivery in Ireland
Description for Formal Models of Operating System Kernels
Hardback. 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 title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 684.
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane ... Read more
The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane ... Read more
Product Details
Format
Hardback
Publication date
2006
Publisher
Springer London Ltd United Kingdom
Number of pages
333
Condition
New
Number of Pages
333
Place of Publication
England, United Kingdom
ISBN
9781846283758
SKU
V9781846283758
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Models of Operating System Kernels