Wazir Agha library

Online Public Access Catalogue

	1.	Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de (Jacobus Willem), 1939-. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: No items available
	2.	Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker. by Bakker, J. W. de (Jacobus Willem), 1939-. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : Prentice-Hall International, c1980Availability: Items available for loan: University of Sargodha-Central Library [Call number: 001.642/BAM] (1). Place hold