Koha online catalog › Results of search for 'su:"Computer Programs Testing"'

	1.	SPIN model checker : primer and reference manual by Holzmann, Gerard J. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 620.0011 HOL] (1). Place hold
	2.	Automated Defect Prevention : best practices in software management by Huizinga, Dorota \| Kolawa, Adam. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Hoboken John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 005 HUI] (1). Place hold
	3.	On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors by Pflanz, Matthias. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 PFL] (1). Place hold
	4.	Essentials of software testing by Bierig, Ralf \| Brown, Stephen \| Timoney, Joseph \| Galván, Edgar. Publisher: Cambridge : Cambridge University Press, 2022Availability: Items available for loan: [Call number: 005.1 BIE] (1). Place hold

Koha online