PKK Library catalog › Results of search for 'au:"Boyer, Robert S."'

	1.	Correctness problem in computer science by Boyer, Robert S. [Ed.] \| Moore, J. Strother [Ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 279p.Publisher: London Academic Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C817] (1). Place hold Add to cart (remove)
	2.	A COMPUTATIONAL LOGIC by Boyer, Robert S \| Moore, J. Strother. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,397.Publisher: New York Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B695c] (1). Place hold Add to cart (remove)

PKK Library