ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)
Edición de la obra The Z formal specification notation
| Autor | Jonathan P. Bowen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 18, 1997 |
| Idioma | inglés |
| Páginas | 435 |
| Formato | Paperback |
| ISBN-13 | 9783540627173 |
| ISBN-10 | 3540627170 |
| Número de Cutter | B786z |