IMSc Library catalog › Results of search for 'su:"Temporal Logic"'

Your search returned 5 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
			Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2 by Gabbay, Dov M \| Reynolds, Mark A \| Finger, Marcelo. Series: Oxford Logic Guides : 40Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB. 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
			No cover image available Regular quantifiers in Logics by Sreejith, A.V [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th64 . Place hold Log in to add tags
			Temporal Logics in Computer Science Finite State Systems by Demri, Stephane \| Goranko, Valentin \| Lange, Martin. Series: Cambridge Tracts in Theoretical Computer Science ; 00058Material type: Text Publication details: New York Cambridge University Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEM. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha