PKK Library catalog › Results of search for 'su:{Computer Programming} and su-ut:Computer programming and se:Prentice-Hall International Series In Computer Science and holdingbranch:IITK and au:Backhouse, Roland C. and se:Prentice-Hall International Series In Computer Science and se:Prentice-Hall International Series In Computer Science and itype:BK and itype:BK and itype:BK'

	1.	Program construction and verification by Backhouse, Roland C. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: No items available Place hold Add to cart (remove)
	2.	Program construction and verification by Backhouse, Roland C. Material type: Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: No items available Place hold Add to cart (remove)

PKK Library