Formal Specification and Implementation Using Z
Edición de la obra Formal Specification and Implementation Using Z
| Autor | John A. McDermid |
|---|---|
| Editorial | Prentice Hall |
| Fecha de publicación | March 1993 |
| Idioma | inglés |
| Páginas | 500 |
| Formato | Paperback |
| ISBN-13 | 9780133263800 |
| ISBN-10 | 0133263800 |
| OCLC | 614668260 |
| Número de Cutter | M478f |