I really wanted to get my hands on this book and now that i have (via interlibrary loan) i want to warn folks that this is not light reading. I found a majority of this book very boring and all but impenetrable. I like Dijkstra's English prose, but when he embarks on the math I wish he'd state the point of each set of formulae above them. It would have also helped if he stressed practical uses of his insights vis-a-vis an actual programming language. This "just shows how much I know" I'm sure, but I suspect many people will feel similarly. FYI: My background is Bachelor's in C.S. with a C.S. GPA of 3.87/4.0. A depressing indictment of U.S. education, Dijkstra would say :)

---

Coming from no less a person than Dijkstra, this book, though dated takes programming to a different level.

It blesses the discipline of programming with the mathematical formalism and begins to look at it as a piece of mathematics.

I picked this book while doing my CS undergraduate, and made me fall in love with CS, all over again.

It does NOT however talk much about programming techniques or methods! It looks at programs from as formal a view point as possible and builds a framework for constructing 'correct' programs..or more correctly a framework for 'proving the correctness' of a program. It takes you to the point of considering programs as poetry..

Its difficult to contemplate the application of the thoeries developed here into practice, though a lot of it is used in some form or the other, but nonetheless it makes an excellent reading.

I recommend it to anybody seriously interested in computer science .

This is not only a book about programming, it is also a book about reasoning on programs, and even a book about reasoning. Treating a program as a formal object, the book discussed its meaning, how to reason about it, and even how to derive it. If you are not a hacker or do not want to be one, you will like this book, and highly possiblely you will read it many times.