Koha online catalog › Results of search for 'su:"Electronic digital computers -- Programming" and itype:BK'

	1.	Programming : the derivation of algorithms by Kaldewaij, Anne. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Prentice Hall, 1990Availability: Items available for loan: [Call number: 005.1 KAL] (1). Place hold
	2.	Program construction and verification by Backhouse, Roland C. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1). Place hold
	3.	Software engineering mathematics : formal methods demystified by Loomes, Martin \| Woodcock, Jim. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Taylor & Francis, 1988Availability: Items available for loan: [Call number: 005.13119 WOO] (1). Place hold
	4.	Programming with POSIX Threads by Butenhof, David R. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Addison-Wesley, 1997Availability: Items available for loan: [Call number: 005.432 BUT] (1). Place hold
	5.	Design methods and analysis of algorithms by Basu, S. K. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall, 2005Availability: Items available for loan: [Call number: 519.4 BAS] (5). Place hold

Koha online