Mathematical theory of program correctness
- Författare
- Jacobus Willem de Bakker
- (Jaco de Bakker with the assistance of Arie de Bruin, Jeffrey Zucker)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1980 | USA, Englewood Cliffs, N.J | 505 sidor. | 0-13-562132-1 |