Craig, Iain D.
Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig. - London : Springer London, 2007. - digital.
9781846287183
10.1007/978-1-84628-718-3 doi
Computer science.
Software engineering.
Operating systems (Computers).
Computational complexity.
Computer Science.
Operating Systems.
Software Engineering.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
QA76.76.O63
005.43
Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig. - London : Springer London, 2007. - digital.
9781846287183
10.1007/978-1-84628-718-3 doi
Computer science.
Software engineering.
Operating systems (Computers).
Computational complexity.
Computer Science.
Operating Systems.
Software Engineering.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
QA76.76.O63
005.43