Ebooks d'Iain D. Craig en PDF

2 Livre(s)
Télécharger le livre : Formal Refinement for Operating System Kernels
Ajouter à ma liste d'envies
Formal Refinement for Operating System Kernels
Iain D. Craig
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)....

Editeur : Springer
Parution : 2007-07-18

PDF

94,94 €
Télécharger le livre : Formal Models of Operating System Kernels
Ajouter à ma liste d'envies
Formal Models of Operating System Kernels
Iain D. Craig
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...

Editeur : Springer
Parution : 2007-03-06

PDF

147,69 €