IMSc Library catalog › Results of search for 'au:"Glässer, Uwe."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer. by Abrial, Jean-Raymond [editor.] \| Glässer, Uwe [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5115Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. by Frappier, Marc [editor.] \| Glässer, Uwe [editor.] \| Khurshid, Sarfraz [editor.] \| Laleau, Régine [editor.] \| Reeves, Steve [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5977Source: 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