Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig.
By: Craig, Iain D.
Contributor(s): SpringerLink (Online service).
Material type:
BookPublisher: London : Springer London, 2007Description: digital.ISBN: 9781846287183.Subject(s): Computer science | Software engineering | Operating systems (Computers) | Computational complexity | Computer Science | Operating Systems | Software Engineering | Discrete Mathematics in Computer Science | Math Applications in Computer ScienceDDC classification: 005.43 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.