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.
The Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen
MIT Press
2015
248 páginas
8h 16m
ISBN-13: 9780262527958
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%