IMSc Library catalog › Results of search for 'au:"Barringer, H. Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Temporal Logic in Specification Proceedings, Altrincham, UK, 1987 by Banieqbal, B. Ed \| Barringer, H. Ed \| Pnueli, A. Ed. Series: Lecture notes in computer science ; 00398Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Advances in Temporal Logic : (ALS 16) by Barringer, H.Ed.,Fisher,M.Ed \| Gabbay, Dov. Ed \| Gouchi, Graham. Ed. Series: Applied Logic Series, 16Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer Acad. ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BAR. Place hold Log in to add tags