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 itype:BK and au:Backhouse, Roland C. and homebranch:IITK and itype:BK and holdingbranch:IITK and su-to:Electronic Digital Computer -- Programming and homebranch:IITK'

	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