Didier Bert dans la catégorie Livres - Toutes

Articles de Didier Bert dans la boutique complète

Didier Bert en tant que Collaboration Afficher les 3 résultats

Didier Bert, Christin Choppy, Christine Choppy, Peter Mosses - Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Didier Bert, Christin Choppy, Christine Choppy, Peter Mosses Recent Trends in Algebraic Development Techniques Anglais 19.02.2009 Livre de poche CHF 69,00 1-2 semaines
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, … - ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, … ZB 2002: Formal Specification and Development in Z and B Anglais 19.02.2009 Livre de poche CHF 70,00 6-7 semaines
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden, Marina Waldén ZB 2003: Formal Specification and Development in Z and B Anglais 02.08.2005 Livre de poche CHF 135,00 6-7 semaines