A programming logic - with an introduction to the PL/CV verifier
- Författare
- Robert L. Constable
- (Robert L. Constable, Michael J. O'Donnell contrib. by Scott D. Johnson)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Winthrop | cop. 1978 | USA, Cambridge, Mass | 389 sidor. | 0-87626-726-6 |