IMSc Library catalog › Results of search for 'au:"Kroger, Fred"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			No cover image available Temporal logic of programs by Kroger, Fred. Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 43 Call number: 681.3.06 KRO. Place hold Log in to add tags
			Temporal logic and state systems Fred Kröger, Stephen Merz by Kroger, Fred \| Merz, Stephan. Series: Texts in theoretical computer scienceMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRO. Place hold Log in to add tags