.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Refinement for Operating System Kernels
Iain D. Craig
€ 134.57
FREE Delivery in Ireland
Description for Formal Refinement for Operating System Kernels
Hardback. The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. Num Pages: 332 pages, biography. BIC Classification: UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 669.
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the ... Read more
This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the ... Read more
Product Details
Format
Hardback
Publication date
2007
Publisher
Springer London Ltd United Kingdom
Number of pages
332
Condition
New
Number of Pages
332
Place of Publication
England, United Kingdom
ISBN
9781846289668
SKU
V9781846289668
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Iain D. Craig
Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science.
Reviews for Formal Refinement for Operating System Kernels