Formal Refinement for Operating System Kernels by Iain D. Craig (English) Hardco
123,05 €
Two kernels are specified and refined. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted.
Jetzt bei Ebay:
