Library Services | Technical University of Kenya catalog

Normal view MARC view ISBD view

Craig, Iain D.

Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig. - London : Springer London, 2007. - digital.

ISBN: 9781846289675

Standard No.: 10.1007/978-1-84628-967-5 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Computer Science.
Software Engineering/Programming and Operating Systems.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Print
Add to your cart (remove)
Save record
More searches