IMSc Library catalog › Results of search for 'au:"Kozen, Dexter. Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995 by Kozen, Dexter. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Computer Society ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ. Place hold Log in to add tags
			Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings by Kozen, Dexter Ed. Series: Lecture notes in computer science ; 03125Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS. Place hold Log in to add tags