Program construction and verification
- Författare
- Roland C. Backhouse
- (Roland C. Backhouse.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1986 | USA, Englewood Cliffs | xi, 281 sidor. ill. |