Formal specification using Z - a modelling approach
- Författare
- Leonardo. Bottaci
- (Leonardo Bottaci, John Jones.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| International Thomson | 1995 | Storbritannien, London | xii, 320 sidor. : diagr., tab. 24 cm. | 1-85032-109-4 |