-
1ZB 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 -
2ZB 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