-
1article bibliotecaCIRAD FR
-
2B’98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings / B’98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings /Texto bibliotecaCOLPOS
-
3
-
4conference_item bibliotecaCIRAD FR
-
5
-
6Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers /by Bert, Didier. editor., Choppy, Christine. editor., Mosses, Peter D. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
7Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers /by Bert, Didier. editor., Choppy, Christine. editor., Mosses, Peter D. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
8
-
9
-
10
-
11ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings / ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings /by Bert, Didier. editor., Bowen, Jonathan P. editor., King, Steve. editor., Waldén, Marina. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
12ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings / ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings /by Bert, Didier. editor., Bowen, Jonathan P. editor., King, Steve. editor., Waldén, Marina. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
13ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings / ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings /by Bert, Didier. editor., Bowen, Jonathan P. editor., Henson, Martin C. editor., Robinson, Ken. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
14ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings / ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings /by Bert, Didier. editor., Bowen, Jonathan P. editor., Henson, Martin C. editor., Robinson, Ken. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
15by Le Provost, Grégoire, Domergue, Frédéric, Labanne, Céline, Ramos Campos, Patricio, Grosbois, Antoine, Bert, Didier, Meredieu, Céline, Danjon, Frédéric, Plomion, Christophe, Gion, Jean-Marcarticle bibliotecaCIRAD FR