ZUM '98 : the Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Edición de la obra ZUM '98 : the Z Formal Specification Notation
| Autor | Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9783540496762 |
| Número de Cutter | B786z |