Formal specification and documentation using Z - a case study approach
- Författare
- Jonathan Bowen
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| International Thomson Computer Press | cop. 1996 | Storbritannien, London | 302 sidor. 23 cm. | 1-85032-230-9 |