IMSc Library catalog › Results of search for 'au:"Julliand, Jacques."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko. by Julliand, Jacques [editor.] \| Kouchnarenko, Olga [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4355Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D [editor.] \| Julliand, Jacques [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7305Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags