The University of Texas at Tyler Libraries catalog › Results of search for 'ccl=(su:{Computers.}) and su-to:Operating systems Computers and au:Craig, I'

Refine your search

	1.	Formal models of operating systems kernels / Iain D. Craig. by Craig, I. Material type: Text; Format: available online ; 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. Place hold Log in to add tags
	2.	Formal refinement for operating system kernels / Iain D. Craig. by Craig, I. Material type: Text; Format: available online ; 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. Place hold Log in to add tags