The Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
Specificaties
| ISBN/EAN | 9780262527958 |
| Auteur | Daniel P. (Professor Friedman |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 248 |
| Lengte | |
| Breedte |