ZB 2005 : Formal Specification and Development in Z and B

ZB 2005 : Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

3/5
Primera publicación
2005
Editores
Springer London· Limited
Idioma
English

Libros

Libros similares