-
1ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings /by Bowen, Jonathan P. editor., Hinchey, Michael G. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
2ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings / ZUM '95: The Z Formal Specification Notation [electronic resource] : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings /by Bowen, Jonathan P. editor., Hinchey, Michael G. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
3
-
4
-
5ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /by Bowen, Jonathan P. editor., Fett, Andreas. editor., Hinchey, Michael G. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
6ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /by Bowen, Jonathan P. editor., Fett, Andreas. editor., Hinchey, Michael G. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
7ZB 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 -
8ZB 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 -
9ZB 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 -
10ZB 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