Koha online catalog › Results of search for 'au:"Craig, Iain D."'

	1.	Formal models of operating systems kernels by Craig, Iain D. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1). Place hold
	2.	Object-oriented programming languages : interpretation by Craig, Iain D. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.13 CRA] (1). Place hold
	3.	Formal refinement for operating system kernels by Craig, Iain D. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1). Place hold

Koha online