Refine your search

Your search returned 2 results.

|
1.
Formal models of operating systems kernels / Iain D. Craig.

by Craig, I.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York ; London : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.O63 C73 2007.
2.
Formal refinement for operating system kernels / Iain D. Craig.

by Craig, I.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.O63 C7244 2007.