|
|
|
|
|
|
by tmoertel
3811 days ago
|
|
|
I came here to recommend Manber's book also. It emphasizes developing algorithms and their correctness proofs together -- a great technique. The design and the proof naturally inform each other. This approach ought to be better known. |
|
|