A Method of Programming (English and Dutch Edition) by Edsger W. Dijkstra (PDF)

Description

Text: English, Dutch (translation)

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐This book is about writing programs in an unusual way, not often taught at school. It describes programs in terms of a trajectory in the space of variables and uses predicate calculus to prove that this trajectory is the one you had in mind. Could seem very formal and arduous at first sight, not for daily use, but the style of writing makes it so accessible that his approach of “correctness-proof-assisted-design” can easily fit into anyone’s toolbox.Also refreshing for senior developers.

⭐The best introduction to programming I know of. This text is for those willing to come to computing as a mathematical discipline . It does not teach the basics of a particular programming language, but uses Dijkstra’s guarded language to provide examples. A discipline of programming is a good companion.

⭐I was in Feijen’s class when he was writing this book. His class changed my entire thought about computer science.

Keywords

Free Download A Method of Programming (English and Dutch Edition) in PDF format
A Method of Programming (English and Dutch Edition) PDF Free Download
Download A Method of Programming (English and Dutch Edition) 2011 PDF Free
A Method of Programming (English and Dutch Edition) 2011 PDF Free Download
Download A Method of Programming (English and Dutch Edition) PDF
Free Download Ebook A Method of Programming (English and Dutch Edition)