This is also taught, by some degree, in Steven Skiena's book.
That is a great book, too.
Can you show some example(s) on the techniques ?
I would recommend the first 2-3 chapters to start.
The general idea is that you develop the algorithm and the proof of correctness for the algorithm at the same time. The two views are duals in a certain sense, and each gives you insight about the other.