+1 to this book. Developing algorithms and their correctness proofs together is ...

		tmoertel on Oct 7, 2017 \| parent \| context \| favorite \| on: A Comparison of Four Algorithms Textbooks (2016) +1 to this book. Developing algorithms and their correctness proofs together is a powerful technique and ought to be more widely used.