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 homebranch:IITK and au:Backhouse, Roland C. and se:Prentice-Hall International Series In Computer Science and se:Prentice-Hall International Series In Computer Science'

	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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1). 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: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1). Place hold Add to cart (remove)

PKK Library