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: DAU [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: DAU [Call number: 005.14 BER] (1). Place hold
	3.	Handbook of formal analysis and verification in cryptography by Akleylek, Sedat [ed.] \| Dundua, Besik [ed.]. Publisher: Boca Raton : CRC Press, 2024Availability: Items available for loan: DAU [Call number: 005.824 AKL] (1). Place hold

Koha online