Introduction to formal specification and Z
- Författare
- Ben Potter
- (Ben Potter, Jane Sinclair, David Till)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice Hall | 1996 | Storbritannien, London | xiv,434p : ill 24cm | 0-13-242207-7 |