Selected Product: | The Science of Programming (Monographs in Computer Science) Paperback Author: David Gries Publisher: Springer Release Date: 1989-04-21 ISBN-10: 0387964800 ISBN-13: 9780387964805 List Price: $89.95 Average Customer Rating: | | Code Complete, Second Edition ISBN-10: 0735619670 ISBN-13: 0790145196705 List Price:$49.99 Code Complete: A Practical Handbook of Software Construction ISBN-10: 0735619670 ISBN-13: 9780735619678 List Price:$49.99 Programming Pearls (2nd Edition) (ACM Press) ISBN-10: 0201657880 ISBN-13: 9780201657883 List Price:$39.99 Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) ISBN-10: 0596510047 ISBN-13: 9780596510046 List Price:$44.99 Programming Pearls (2nd Edition) ISBN-10: 0201657880 ISBN-13: 0785342657883 List Price:$39.99 A Discipline of Programming (Prentice-Hall Series in Automatic Computation) ISBN-10: 013215871X ISBN-13: 9780132158718 List Price:$87.33 A Logical Approach to Discrete Math (Monographs in Computer Science) ISBN-10: 0387941150 ISBN-13: 9780387941158 List Price:$74.95 |
To use our price comparison to get the cheapest price, please click on the "Find the Cheapest Price" button located above for The Science of Programming (Monographs in Computer Science) by David Gries (ISBN-10: 0387964800, ISBN-13: 9780387964805). At this time we have not yet written a review for The Science of Programming (Monographs in Computer Science) by David Gries (ISBN-10: 0387964800, ISBN-13: 9780387964805). Please continue to keep checking back to this page as we are constantly adding reviews. Summaries and Customer Reviews are supplied by Amazon.com This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively. A good book that can enhance your programming | Customer Rating: | | If you want to make a good programmer,you should study it. Many programmers just like programming , but they ignore how to verify their program is whether good enough or not. | One of the best computing books of all time | Customer Rating: | This book makes my top-ten list of best computing books of the decade of the eighties. It certainly changed my outlook on how to write programs. The incorporation of logic into the code to mathematically prove that it works correctly was an ideal in the eighties and to some extent it remains an ideal. Nevertheless, that is not a reflection of the value of program correctness, but a consequence of the slow changes that sometimes take place in computing. Programmers may change their languages easily, but often not their styles. At the time this book came out, I was in the process of designing and adding a course in computation theory with an emphasis on program correctness at Mount Mercy College. Before I encountered this book, I was having a difficult time pressing my case. However, after this book came out and I could use some of the comments regarding the significance of its' content, the course was easily approved. I also used the book in the class and the student comments were overwhelmingly positive. Ten years later, the book is still used in the class, something that is rare in computing. The quality of the writing and explanations of the examples in the book are outstanding. Most of the students had no experience in formal logic, and yet they had little difficulty understanding and applying the concepts. The examples of proving the code correct were well chosen and I rarely heard any of the traditional complaints from math students regarding their frustrations over having to work through proofs. The quality of programs would be dramatically increased if the principles of program correctness in this book were widely adopted. I continue to push for it every chance I get, and this review is one part of that push. | A book for programmers, not MFC nerds | Customer Rating: | | Simply put, a book that re-introduces the idea of program correctness over all else. An excellent source on program design & analysis, checking for correctness using a logic-based approach. A book that builds from the fundamentals. Not for those who are looking for quick fixes. | A very good book in the diffcult field | Customer Rating: | | The book deals with the way of development of programs using mathematical principles. This line of observation ( mentioned in the preface) " One can not learn to write large programs effectively until one has learned to write small ones effectively" captures the motivation of the book. There are three parts; part I introduces predicate logic; it includes natural deduction system; Part II builds the mathematical treatment of the programming constructs like assignment, alternative, iterative command and procedure call. Part III shows how programs are developed and proved correct using the mathematical principles discussed earlier. Given the nature of the area, the book is written with a lot of attention to instructional impact. The best recommendation for the book is by Dijkstra: The topic deserves no less author... To get the message across requires a scientist that combines his scientific involvement in the subject with the precious gifts of a devoted teacher". |
|