.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
€ 128.33
FREE Delivery in Ireland
Description for Formal Refinement for Operating System Kernels
Paperback. Num Pages: 332 pages, biography. BIC Classification: UL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 492.
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
Paperback
Publication date
2010
Publisher
Springer London Ltd United Kingdom
Number of pages
332
Condition
New
Number of Pages
332
Place of Publication
England, United Kingdom
ISBN
9781849966894
SKU
V9781849966894
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Refinement for Operating System Kernels