IMSc Library catalog › Results of search for 'au:"Manna, Zohar"'

Your search returned 5 results.

Not what you expected? Check for suggestions

			No cover image available Logical basis for computer programming vol:Deductive reasoning, v.1 by Manna, Zohar \| Waldinger, Richard. Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MAN. Place hold Log in to add tags
			Temporal Verification of Reactive Systems Safety by Manna, Zohar \| Pnueli, Amir. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAN. Place hold Log in to add tags
			Time for verification Essays in memory of Amir Pnueli by Manna, Zohar \| Peled, Doron A. Series: Lecture notes in computer science; 06200Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS. Place hold Log in to add tags
			Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled. by Manna, Zohar [editor.] \| Peled, Doron A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6200Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Calculus of computation : decision procedures with applications to verification by Bradley, Aaron R \| Manna, Zohar. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BRA. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha