The construction of formal specifications - an introduction to the model-based and algebraic approaches
- Författare
- J.G. Turner
- (J.G. Turner, T.L. McCluskey.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| McGraw-Hill | c1994 | , London | XII, 420 sidor. ill. |