Little Prover
Szerző:
Carl Eastlund
Elérhetőség:
50 % esély
Keressük az egész világon
20 014
Ft
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
