Springer 2/ed (12-2009) | PDF | 272 pages | 1441917470 | 1.4Mb
Algorithms and Programming: Problems and Solutions /by A. Shen. Somebody once said that one may prove the correctness of an algorithm, but not of a program. One of the main goals of this book is to convince the reader that things are not so bad. A well-known programmer, C.A.R. Hoare, said that the beauty of a pro
...
Read more »