IMSc Library catalog › Results of search for 'au:"Arkoudas, Konstantine"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Fundamental proof methods in Computer Science by Arkoudas, Konstantine Musser, David. Material type: Text Publication details: Cambridge The MIT Press 2017Availability: No items available : Log in to add tags
			Fundamental proof methods in Computer Science by Arkoudas, Konstantine Musser, David. Material type: Text Publication details: Cambridge The MIT Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARK. Place hold Log in to add tags