Koha online catalog › Results of search for 'se,phr:"Formal approaches to computing and information technology"'

	1.	Industrial-strength formal methods in practice by Bowen, Jonathan P \| Hinchey, Michael G. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 1999Availability: Items available for loan: [Call number: 005.131 HIN] (1). Place hold
	2.	Constructing correct software by Cooke, John. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1). Place hold

Koha online