PKK Library catalog › Results of search for 'au:"Loeckx, Jacques"'

	1.	Foundations of program verification by Loeckx, Jacques \| Sieber, Kurt. Material type: Book; Format: print ; Literary form: not fiction Description: ix, 230p.Publisher: Chichester, New York John Wiley 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f] (1). Place hold Add to cart (remove)
	2.	Foundations of program verification [2nd ed.] by Loeckx, Jacques \| Sieber, Kurt. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: ix, 230p.Publisher: Chichester, New York John Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f2] (1). Place hold Add to cart (remove)

PKK Library