IMSc Library catalog › Results of search for 'au:"Srivas, Mandayam."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996 by Srivas, Mandayam. Ed \| Camilleri, Albert. Ed. Series: Lecture notes in computer science ; 01166Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri. by Srivas, Mandayam [editor.] \| Camilleri, Albert [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1166Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags