Tous les livres numériques d'Iain D. Craig en PDF

2 Livre(s)
Télécharger le livre : Formal Refinement for Operating System Kernels
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Models of Operating System Kernels
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 €
Téléchargement immédiat
Dès validation de votre commande