Formal Specification and Documentation Using Z
A Case Study Approach
Edición de la obra Formal Specification and Documentation Using Z
| Autor | Jonathan Bowen |
|---|---|
| Editorial | International Thomson Computer Press |
| Fecha de publicación | February 1996 |
| Lugar | London, UK |
| Idioma | inglés |
| Páginas | 302 |
| Formato | Paperback |
| ISBN-13 | 9781850322306 |
| ISBN-10 | 1850322309 |
| OCLC | 34763106 |
| Número de Cutter |