IMSc Library catalog › Results of search for 'au:"Méry, Dominique."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. by Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6396Source: 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
			FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry. by Giannakopoulou, Dimitra [editor.] \| Méry, Dominique [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7436Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags