Formal specification and software development
- Författare
- Dines Bjørner
- (Dines Bjørner and Cliff B. Jones in collaboration with Derek Andrews ..)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1982 | USA, Englewood Cliffs, N.J | 501 sidor. ill. |