Koha online catalog › Results of search for 'su:"Computer systems-verification"'

	1.	Model checking by Clarke, Edmund M. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 2002Availability: Items available for loan: [Call number: 004.21 CLA] (1). Place hold
	2.	Systems and software verification : model-checking techniques and tools by Berard, Beatrice. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 005.14 BER] (1). Place hold

Koha online