.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Models of Operating System Kernels
Iain D. Craig
€ 194.68
FREE Delivery in Ireland
Description for Formal Models of Operating System Kernels
Paperback. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
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
Paperback
Publication date
2010
Publisher
Springer London Ltd United Kingdom
Number of pages
333
Condition
New
Number of Pages
333
Place of Publication
England, United Kingdom
ISBN
9781849965927
SKU
V9781849965927
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Models of Operating System Kernels