Proving programs correct
- Författare
- Robert Brockett Anderson
- (Robert B. Anderson)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| cop. 1979 | USA, New York | 184 sidor. : diagr. | 0-471-03395-2 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| cop. 1979 | USA, New York | 184 sidor. : diagr. | 0-471-03395-2 |