Loading…
Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement pr...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
London :
Springer London : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Subjects: | |
| Online Access: | Texto Completo |