The Science of Programming (Monographs in Computer Science)

By Jörg Kienzle

Book Overview

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

• Format: Paperback
• Language: English
• ISBN: 0387964800
• ISBN13: 9780387964805
• Release Date: February 1987
• Publisher: Springer
• Length: 403 Pages
• Weight: 1.22 lbs.
• Dimensions: 9.0" x 0.9" x 6.0"

Customer Reviews

A good book that can enhance your programming

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

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...

Excellent book on writing correct programs

The book provides an excellent introduction to logic and then shows how by using the language of logic and mathematics to specify pre-conditions and post-conditions one can develop provably correct programs from these pre-conditions and post-conditions.I have used the methods in this book to develop advanced algorithms in Computer Graphics which could not have been developed in any other way.The book is both a tutorial...

A book for programmers, not MFC nerds

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

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...