Little Prover
Autor:
Carl Eastlund
Dostupnost:
50 % šance
Prohledáme celý svět
1 109
Kč
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
